OpenAI announces its reasoning model has disproven a famous 80-year-old geometry conjecture by Paul Erdős, marking a significant achievement after prior claims sparked skepticism.

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level mathematics

An internal OpenAI model autonomously disproved Paul Erdős's unit distance conjecture, marking a milestone in AI-driven mathematical discovery.