AlphaProof and AlphaGeometry 2
Narrative
AI systems solve International Math Olympiad problems. AlphaProof: formal reasoning. AlphaGeometry 2: geometric proofs. Combined: silver medal performance.
Reality
IMO performance verified: 4 of 6 problems solved. Formal proof methods promising. Geometry breakthrough significant. But limited to narrow mathematical domain. General reasoning gap remains.
Implication
Advanced formal reasoning research. Demonstrated AI mathematical capability approaching expert human. But domain specificity highlighted AGI distance. Symbolic reasoning resurgence.