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