ai math

2 articles · 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.

Aliteq Team · Oct 4 · 11 min

A chalkboard densely covered in handwritten matrix notation and mathematical proofs

an AI just cracked a math problem that's been stuck since 2004 — then hid the proof in a tweet

Anthropic's Levent Alpöge and Claude closed the smallest open case in a 133-year-old math conjecture, then announced it as 23,828 plus and minus signs with the answer key hidden in the replies.

Aliteq Team · Aug 16 · 6 min