Lawrence Connor
@minimi9999
OpenAI's older research in formal math problem solving is still relevant in the age of AlphaProof.
0 reply
0 recast
0 reaction