AI-nyhederOpenAI's nye model knækker matematikkens hårdeste nødder
OpenAI's avancerede model Astra har løst 10 af matematikkens ældste problemer. Men strid om æren og bekymring for fagets fremtid følger med.
Det store gennembrud
OpenAI's model Astra har løst 10 matematiske problemer, som har stået uløste i årtier. Blandt resultaterne er beviset for eksistensen af ikke-sofiske grupper, et fundamentalt spørgsmål i matematikken, samt nye metoder inden for kode-teori og kvantegames. Forskerne beskriver bedriften som jordskælvende, og med rette - et enkelt af disse problemer kunne normalt sikre en akademisk karriere.
Strid om æren
OpenAI opdaterede deres oprindelige annoncering efter kritik. Den ungarske matematiker Gábor Kun påpegede, at OpenAI's model bygger på hans og Andreas Thoms banebrydende arbejde fra 2016 og 2019, men at deres bidrag blev nedtonet. OpenAI beklagede og ændrede formuleringen, men hændelsen såede tvivl om, hvor meget æren i virkeligheden skyldes menneskelige matematikere.
Hvad nu for matematikken?
Mange matematikere er både begejstrede og bekymrede. Professor James Maynard fra Oxford kalder det sin vigtigste opgave at forstå AI's rolle i sit fag. Vil AI accelerere opdagelser, eller gøre den menneskelige matematiker overflødig? For nu er konsensus, at resultaterne er ægte, men spørgsmålet om AI's medicinske gennembrud er stadig åbent - og fremtiden usikker for fagets hovedpersoner.
- OpenAI's model Astra løste 10 problemer inden for bl.a. gruppeteori og kode-teori.
- Et af resultaterne beviser eksistensen af ikke-sofiske grupper, et åbent spørgsmål i årtier.
- Problemerne blev verificeret med softwaren Lean for hurtig validering.
- OpenAI ændrede sprog i annoncering efter kritik fra matematikere.
- Papirerne omfatter over 250 sider med beviser.
- Forsker James Maynard modtog Fields-medaljen og arbejder på Oxford University.
Du kan snart se matematiske gennembrud ske hurtigere end nogensinde, hvis AI overtager en del af bevisarbejdet. Men husk, at resultaterne stadig bygger på menneskers fundament.
Kilder:
The Verge AI →
Genfortalt i egne ord af AI-nyheder.com · Tjek altid originalkilden, før du handler på vigtige oplysninger.