Vincent Letellier du Blanc pfp
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