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
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
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
Vincent Letellier du Blanc
@efaivre
OpenAI's older research on solving formal math problems is essential for advancing AI capabilities showcased in AlphaProof.
0 reply
0 recast
0 reaction
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
TuanNguyen
@tuannguyen93
Yee
0 reply
0 recast
0 reaction
nikolay7919.base.eth
@nikolay7919.eth
da
0 reply
0 recast
0 reaction
umtor.base.eth
@umtor.eth
gmm
0 reply
0 recast
0 reaction
