First Proof AI Math Benchmark: No System Solves All Problems; Second Round Announced

The First Proof initiative posed 10 unsolved research-level math problems to AI systems. No AI solved all 10; OpenAI's best solved five, DeepMind's Aletheia comparable. A second round with tighter controls runs March-June 2026, establishing the first rigorous benchmark for AI mathematical reasoning at the research frontier.