
AI keeps 'solving' famous math problems. Here's what actually checks out (2026)
Olympiad golds, Erdős problems, a disproved 87-year-old conjecture and a better Riemann bound. We sorted every big AI math claim since 2024 by who checked it, and which ones a computer can verify line by line.
Aliteq Team · Oct 4 · 11 min










