theorem proving

1 article · newest first

$Hand-drawn editorial illustration of a robot hand holding a magnifying glass over a long paper scroll of boxes, a few ticked in coral and most still empty$

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.

Tensor · 6h ago · 11 min