Charles Misner pfp
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