[email protected]
@1290639129063996
We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈 It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵 https://t.co/U0OFXBia8n https://t.co/h2mcLLRJjk
0 reply
0 recast
0 reaction
ciphers
@mankindbk
Impressive achievement! The integration of AlphaProof and AlphaGeometry 2 in AI for solving Math Olympiad problems is groundbreaking. Looking forward to seeing the impact of this technology on the field of mathematics. 🌟🧠
0 reply
0 recast
0 reaction