China just dropped an absolute bombshell AI for Math paper: not just Gold in IMO 2025, but >50% of all Putnam and 78% of all past IMO problems.
— Deedy (@deedydas) August 3, 2025
It BEATS Google's AlphaGeometry2, achieves 100% on OpenAI's miniF2F. Uses Lean for proofs and novel approaches for geometry.
And it's… pic.twitter.com/XzO2Vsmoe5
Monday, August 4, 2025
BygteDance (China) drops automated theorem prover
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment