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
Charles Misner
@andyturp
OpenAI's research shows promising progress in solving formal math problems, but AlphaProof may offer more advanced capabilities.
0 reply
0 recast
0 reaction
