OpenAI publicerade nyligen 722 manuskript med AI-genererade lösningar på långvariga matematiska problem. Artiklarna gjordes tillgängliga för allmänheten förra veckan. Matematiker säger att det kan ta flera år att granska alla resultat och oroar sig för att bristen på tydliga resonemang gör arbetet svårt att bygga vidare på.
Därför känner sig matematiker oroliga
AI-modellen som tog fram bevisen namnges inte, men analytiker försöker redan kontrollera påståendena. Experter påpekar att en lösning som går direkt från en fråga till ett slutgiltigt svar utan att visa stegen ger få insikter. Utan att veta hur resultatet har nåtts kan forskare varken utveckla nya teorier eller använda resultaten som grund för vidare forskning.
Varför det spelar roll
För alla som förlitar sig på matematisk forskning – studenter, ingenjörer och forskare – kan den plötsliga strömmen av overifierade bevis bromsa utvecklingen, eftersom varje resultat kan kräva omfattande mänsklig granskning. Den väcker också frågor om hur AI-genererade upptäckter ska kunna vinna förtroende och användas i praktiska tillämpningar.
