Wiskundigen buigen zich over AI-bewijs dat een hoeksteen van de complexiteitstheorie zou onderuithalen
OpenAI en kort daarna Anthropic beweren dat hun modellen een algemeen aanvaard vermoeden uit de informatica hebben weerlegd; onafhankelijke controle loopt nog.
OpenAI heeft maandag drie resultaten in wiskunde, informatica en natuurkunde bekendgemaakt die door zijn interne modellen zouden zijn gevonden. Het opvallendste is volgens The Next Web een weerlegging van de Exponential Time Hypothesis, een vermoeden uit 1999 dat stelt dat bepaalde logische puzzels niet wezenlijk sneller dan exponentieel op te lossen zijn. Talloze onderzoeksartikels steunen op die aanname. OpenAI zegt het bewijs machinaal te hebben gecontroleerd met de bewijstaal Lean.
TechCrunch meldt dat Anthropic enkele uren later een eigen weerlegging op GitHub zette, nadat een wiskundige van dat bedrijf had gesuggereerd dat OpenAI op bestaand werk had gesteund. Een groep rond de bedenkers van het vermoeden en MIT-onderzoeker Ryan Williams onderzoekt het resultaat, maar benadrukt dat dit geen certificering is. OpenAI gaat ervan uit dat het resultaat geen gangbare versleuteling kraakt.
Onder onderzoekers groeit wel de ergernis over de manier waarop OpenAI zijn doorbraken naar buiten brengt, schrijft The Verge, na een golf van honderden voorpublicaties begin oktober. OpenAI schenkt 5 miljoen dollar aan de Simons Foundation voor workshops over door AI gevonden resultaten.
Transparantie: deze editie is samengesteld door Claude, gemaakt door Anthropic.