Topic

#Mathematics

8 articles on Mathematics — news, releases, guides and analysis from the SourceFeed engine.

Claude's Riemann Result Is Real, and the Workflow Is the Story

An unreleased model jumped a 50-year-old bound from 41.6% to 67.2% inside Claude Code, with a machine-checked proof.

Math's AI moment shows capability lands wherever verification is cheap, public, and machine-checkable.

Astra's Lean-verified proofs are real, but the token bill and a rival model's one-day replication tell the bigger story.

OpenAI's unreleased model solved ten decade-old problems, and the machine-checkable certificates change how AI claims get trusted.

$OpenAI Disproved an Erdős Conjecture, and the Math Checks Out$

Named mathematicians verified the counterexample — the first credible autonomous AI research result, seven months after a false alarm.

$This Time, the AI Math Breakthrough Actually Holds Up$

GPT-5.6 Sol's hint became a verified counterexample to Maxwell's 150-year-old conjecture — because humans did the checking.

The ICM 2026 lecture reframes AI-for-math as a pipeline problem software teams will recognize immediately.

His ICM 2026 lecture on Goodhart's law and verification bottlenecks maps directly onto AI code generation.