Research AI News

Papers, benchmarks, and breakthroughs from AI labs — 1629 articles

The Erdős Proof and AI Capabilities

MIRI · May 22

An OpenAI internal model has autonomously disproven a central conjecture in discrete geometry (the Erdős problem from 1946), with the proof verified by prominent mathematicians who call it a genuine b

← Back to AI Pulse