OpenAI hävdar genombrott: Löser 80 år gammalt matematikproblem
OpenAI har meddelat att bolagets nya generella resonemangsmodell har lyckats producera ett originellt matematiskt bevis som motbevisar en känd geometrisk hypotes. Problemet formulerades ursprungligen av den legendariske matematikern Paul Erdős så tidigt som 1946.
Detta genombrott ses som en revansch för OpenAI. För sju månader sedan hävdade Kevin Weil, tidigare vice vd, felaktigt att GPT-5 hade löst tio Erdős-problem, men det visade sig senare att lösningarna redan existerade i litteraturen. Denna gång har bolaget vidtagit åtgärder för att säkerställa att upptäckten är genuin.
Expertvalidering och nya geometriska insikter
För att bekräfta påståendet har OpenAI publicerat kommentarer från framstående matematiker, däribland Noga Alon, Melanie Wood och Thomas Bloom. Bloom, som driver webbplatsen Erdos Problems, har granskat beviset.
Upptäckten raserar en långvarig övertygelse inom fältet. Tidigare trodde man att de bästa möjliga lösningarna för detta specifika diskreta geometriproblem liknade fyrkantiga rutnät. AI-modellen hittade istället en helt ny familj av konstruktioner som presterar bättre än de tidigare kända metoderna.
Ett steg mot generell resonemangsförmåga
Enligt OpenAI markerar detta första gången en AI autonomt har löst ett framstående öppet problem centralt för ett matematiskt fält genom att använda en generell resonemangsmodell, snarare än ett system specialiserat enbart för matematik.
Bolaget menar att detta genombrott indikerar att AI nu börjar bli kapabel att hålla långa, komplexa kedjor av resonemang och koppla samman idéer över olika vetenskapliga fält, såsom:
- Biologi
- Fysik
- Ingenjörskonst
- Medicin
Thomas Bloom beskriver prestationen som ett verktyg för att "mer fullständigt utforska matematikens katedral" och antyder att fler "osedda underverk" snart kan komma att upptäckas med hjälp av tekniken.
Viktiga punkter i genombrottet
- Historisk lösning: Motbevisar ett geometriskt antagande från 1946.
- Generell AI: Problemet löstes av en modell för generella resonemang, inte en nischad matematik-AI.
- Innovativ metod: Hittade en ny familj av konstruktioner som överträffar de traditionella rutnätsmodellerna.
- Vetenskaplig validering: Bekräftat av ledande experter inom området.
