Storia in 7 fonti

Mathematicians stunned by AI's biggest breakthrough in mathematics yet

Artificial intelligence built by OpenAI has cracked a decades-old conjecture by Paul Erdős, which mathematicians have hailed as a monumental moment for AI in mathematics

Raccontata da

nature.com

scientificamerican.com

martedì 19 maggio 2026·nature.com
‘It is incredible’: How AI is transforming mathematics
Thanks to some surprising advances, mathematicians are starting to realize that artificial intelligence could radically alter their profession.
martedì 19 maggio 2026·scientificamerican.com
‘Sensational’ proof topples decades-old geometry problem
The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level mathematics

mercoledì 20 maggio 2026·

cryptobriefing.com

OpenAI model autonomously solves planar unit distance problem

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

mercoledì 20 maggio 2026·

techcrunch.com

OpenAI claims it solved an 80-year-old math problem — for real this time | TechCrunch

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

giovedì 21 maggio 2026·

cryptobriefing.com

OpenAI claims its AI model solves 80-year-old math conjecture

OpenAI says its reasoning model autonomously disproved an 80-year-old math conjecture by Paul Erdős, with implications for smart contract verification and crypto.

giovedì 21 maggio 2026·

cryptobriefing.com

OpenAI model solves 80-year-old planar unit distance problem posed by legendary mathematician Erdős

OpenAI's reasoning model disproved Paul Erdős' 80-year-old planar unit distance conjecture, validated by Fields Medalist Tim Gowers and Princeton's Will Sawin.

giovedì 21 maggio 2026·

cryptobriefing.com

OpenAI model solves 80-year-old planar unit distance problem

OpenAI's reasoning model produced a 125-page proof solving the 80-year-old planar unit distance problem, validated by Fields Medalist Tim Gowers and Princeton's Will Sawin.

giovedì 21 maggio 2026·

newsbytesapp.com

OpenAI says its new AI model solved decades-old geometry conjecture

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.

giovedì 21 maggio 2026·

dev.to

OpenAI Model Disproves Central Conjecture in Discrete Geometry

OpenAI Model Disproves Central Conjecture in Discrete Geometry - Complete guide and honest review for 2026.

giovedì 21 maggio 2026·

cryptobriefing.com

OpenAI model disproves major Erdős conjecture using general-purpose reasoning system

OpenAI's general-purpose AI model disproved Paul Erdős's 1946 planar unit distance conjecture, marking a historic first for autonomous AI mathematical discovery.

giovedì 21 maggio 2026·

newscientist.com