HomeAI · summaries
Storia in 10 fonti
Stunning AI Solution For 80-Year-Old Problem Shocks Mathematicians
Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture made by legendary Hungarian mathematician Paul Erdős in 1946.
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
newsbytesapp.com
Google AI just solved 56-year-old math problems on its own
Google DeepMind's AlphaProof Nexus solved nine longstanding Erdős problems with Lean-verified proofs, sparking debates about AI progress and its limitations.
- ·
dday.it
OpenAI smonta una congettura geometrica di 80 anni, ma Google risolve 9 problemi di Erdős con meno clamore
Il caso OpenAI ha attirato l’attenzione, ma AlphaProof Nexus ha chiuso 9 problemi di Erdős con verifiche formali in Lean. Il contributo dell’IA nella matematica è comunque ormai…
- ·
forbes.com
OpenAI’s Breakthrough On Famed Math Problem Actually Proves That Using AI To Find Counterexamples Is A Smart Strategy For Everyone
OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI Insider analysis and scoop.
- ·
theconversation.com
An AI solution to an 80-year-old problem has shocked mathematicians
Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made mathematicians pay attention.
- ·
ilfattoquotidiano.it
L'IA di OpenAI risolve un enigma matematico aperto da 80 anni
Un chatbot di OpenAI ha risolto il problema della distanza unitaria di Erdős, irrisolto dal 1946. I matematici sono stupiti.
- ·
the-decoder.com
Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"
Shortly after OpenAI disproved Erdős' unit-distance conjecture, Anthropic shows Claude Mythos can solve the problem too - "over the weekend." Engineer Sholto Douglas says Mythos…
- ·
sciencealert.com
Stunning AI Solution For 80-Year-Old Problem Shocks Mathematicians
Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture…
- ·
understandingai.org
OpenAI’s “milestone” math breakthrough played to AI’s strengths
I explain OpenAI’s math breakthrough more clearly than OpenAI did.
- ·
newscientist.com
Mathematical AI helps researchers crack 50-year-old problem
After an AI from OpenAI found a trick to solve an 80-year-old conjecture from Paul Erdős, mathematicians have borrowed the same technique to solve another important problem
- ·
t3n.de
Eine KI-Lösung für ein 80 Jahre altes Problem schockiert Mathematiker | t3n
Jahrzehntelang bissen sich Mathematiker:innen an einer Theorie die Zähne aus. KI hat jetzt einen Lösungsvorschlag geliefert, der in der Mathematik-Szene für große Aufregung sorgt.…