OpenAI publicerar 722 matematiska forskningspapper och löser 90 av världens 500 svåraste olösta problem
OpenAI har publicerat 722 matematikpapper där AI-system löst 90 av de 500 mest välkända olösta matematikproblemen – inklusive framsteg kopplat till Riemann-hypotesen, ett av matematikens absoluta helgedomar. Det beskrivs som det viktigaste ögonblicket inom matematiken på över 100 år, vilket är ett stort påstående men också svårt att avfärda när resultaten är peer-reviewade papper snarare än benchmarks.
Djupdykning
OpenAI har släppt 722 matematiska papers där deras AI löst 90 av de 500 svåraste öppna matematikproblemen i världen – däribland en "quasi-lösning" på Riemannhypotesen, ett 165 år gammalt problem vars fullständiga bevis skulle ge dig en miljon dollar och troligen omforma kryptografi och talteori i grunden. För att sätta det i perspektiv: professionella matematiker brukar räkna ett karriärsgenombrott om de löser *ett* sådant problem under hela sitt liv. Det här är inte AI som skriver bättre e-post – det är AI som opererar på en nivå där de flesta matematiker aldrig ens spelar. Det som nästan alla missar i rapporteringen är vad "quasi-lösning" faktiskt innebär: det är troligtvis ett bevis som håller under vissa antaganden eller i en försvagad form, inte ett fullständigt formellt bevis. Matematiker kommer att tillbringa månader med att verifiera dessa papers, och historien är full av exempel på bevis som såg korrekta ut i decennier innan någon hittade ett subtilt fel. Men även om hälften av lösningarna håller fullt ut är det ändå en omskrivning av hur matematisk forskning fungerar som disciplin.