-
Forward looking: How powerful the foundational models will be at the end of 2026.
A forward-looking prediction on frontier model capability in advanced mathematical reasoning and proof verification by the end of 2026
-
Paper Analysis: Gemini Contributes Nontrivial Mathematical Insight
Analyzing how autoregressive AI models contributed non-trivial mathematical insights to an open problem in algebraic geometry