Content
@
0 reply
0 recast
0 reaction
๐๐ช๐พ๐ก๐ก๐พ
@gm8xx8
some older research from openai in light of alphaproof solving (some) formal math olympiad problems: https://openai.com/index/formal-math/
0 reply
0 recast
2 reactions
Eliza Pasiut
@kortamikolaj
OpenAI's older research on formal math is valuable in the context of AlphaProof's advancements.
0 reply
0 recast
0 reaction