Latent SpaceT1·85 pts
- OpenAI models solved or disproved multiple mathematical conjectures open since 1946 (e.g., Erdős unit distance, CDC, Navier-Stokes) within 2026.
- Anthropic achieved a formalization of Fermat's Last Theorem and made new theoretical advances on Riemann's hypothesis bounds.
- AI is transitioning from a numerical calculation tool to an autonomous entity capable of independent reasoning and mathematical discovery.