HomeAI · summaries
Storia in 13 fonti
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
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
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.
- ·
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
- ·
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.
- ·
scientificamerican.com
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
- ·
repubblica.it
OpenAI dice di aver risolto un problema matematico aperto da ottant’anni
Un modello di intelligenza artificiale di OpenAI avrebbe trovato una nuova soluzione per il problema delle distanze unitarie nel piano, formulato da Paul Erdős…
- ·
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.
- ·
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.
- ·
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.