HomeAI · summaries
Storia in 13 fonti
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.
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
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
- ·
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.
- ·
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.
- ·
General-purpose AI model reportedly solves major open problem in mathematics
Mathematician Ernest Ryu used OpenAI's GPT-5 to solve a 40-year-old convex optimization problem. Here's why it matters for crypto and beyond.
- ·
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.
- ·
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.
- ·
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.
- ·
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.
- ·
latent.space
[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000
a quiet day but a nice result in AI x mathematics
- ·
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.
- ·
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.
- ·
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone
- ·
heise.de
KI beweist: Mathematiker lagen falsch
Eine OpenAI-KI hat die Mathematik einen Schritt näher an die Lösung eines berühmten Erdős-Problems gebracht. Seit 80 Jahren hingen die Forscher hier fest.
- ·
newscientist.com
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
- ·
the-decoder.com
The first AI proof worthy of math's top journal landed and it won't be the last
A reasoning model from OpenAI has disproved a conjecture by mathematician Paul Erdős on unit-distance geometry that stood open since 1946 - using tools from algebraic number…
- ·
theguardian.com
OpenAI makes breakthrough on 80-year-old maths problem
Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning
- ·
forbes.com
The AI Breakthrough That Has Mathematicians Paying Attention
OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the attention of elite mathematicians.
- ·
nature.com
AI cracks 80-year-old mathematics challenge — researchers are astonished
The late Hungarian mathematician Paul Erdős thought he had the last word on a geometry problem. Now an OpenAI chatbot has proved him wrong.
- ·
greenme.it
OpenAI ha risolto in poco più di un'ora un enigma matematico aperto da 80 anni
OpenAI smentisce una congettura di Erdős sul problema delle distanze unitarie: l’AI entra nella matematica avanzata.
- ·
Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal verification, with implications for crypto security.