TOPIC
2 Stories Published
Mathematics
Research
8m
Automated Mathematical Discovery: Why Proof Search Explodes and What an AI Would Need
A 2026 arXiv essay models mathematics as a growing proof graph and argues that abstraction, not raw search, is what lets people…
Research
8m
The Erdős Unit Distance Conjecture Falls: What OpenAI’s Model Proved and What Mathematicians Say
An unreleased OpenAI model disproved a 1946 Erdős conjecture about unit distances in the plane. The proof, the outside checks, and the…