OpenAI har enligt TechCrunch bildat en oberoende rådgivargrupp för matematik tillsammans med Institute for Advanced Study i Princeton. Gruppen ska ge matematiker större insyn när företaget presenterar resultat från AI i matematikforskning, bland annat genom att hjälpa till att bedöma hur betydelsefulla nya påstådda lösningar är och hur de bör offentliggöras.
Matematiska bevis behöver mer än ett datorsvar
Bakgrunden är att OpenAI tidigare i september publicerade en påstådd lösning på Navier–Stokes-problemet, en av matematikens mest kända olösta frågor. Problemet handlar förenklat om huruvida vissa beskrivningar av vätskors och gasers rörelser alltid fungerar utan att bryta samman. Sådana ekvationer används bland annat inom väderprognoser, flygteknik och strömningslära.
Det viktiga är att ett resultat inte blir accepterat bara för att en AI har tagit fram ett långt och formellt bevis. Matematiska experter behöver kontrollera att antagandena stämmer, att varje steg håller och att lösningen verkligen svarar på hela den ursprungliga frågan. En formell kontroll i ett särskilt datorverktyg kan vara ett starkt stöd, men ersätter inte forskarsamhällets granskning och diskussion.
Rådgivargruppen får enligt uppgifterna ingen makt att stoppa eller styra OpenAIs fortsatta forskning. Däremot kan den ge egna råd, uttala sig offentligt och bidra till att nya resultat får en tydligare väg genom oberoende granskning.
För vanliga läsare visar nyheten både möjligheten och begränsningen med AI i forskning. AI kan hjälpa till att söka igenom många idéer och kontrollera komplicerade resonemang snabbare än människor ensamma. Men när det gäller stora vetenskapliga genombrott behövs fortfarande mänskliga experter som kan avgöra vad resultatet faktiskt betyder – och om det går att lita på.
Det kan bli en viktig modell även för annan AI-forskning. Ju mer avancerade systemen blir, desto större blir behovet av tydliga regler för hur nya påståenden testas, förklaras och granskas innan de får påverka forskning, teknik eller samhällets beslut.
Källor
Läs också
Ämnen i artikeln
- AI i matematikforskning
- AI & Forskning
