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