OpenAI zegt dat AI een bekend informaticavermoeden heeft weerlegd

Wat zegt OpenAI over de Exponential Time Hypothesis?

Volgens OpenAI heeft zijn AI een algoritme gevonden dat een bekende rekenvraag sneller oplost dan de hypothese toestaat. Het gaat om het tellen van oplossingen bij logische puzzels, de zogeheten 3-SAT. Als dat klopt, is de Exponential Time Hypothesis onjuist.

De hypothese is in 1999 bedacht door onder anderen Russell Impagliazzo en Ramamohan Paturi van de Universiteit van Californië in San Diego. Sindsdien geloofden veel onderzoekers dat ze waar was. Het bewijs is op maandag 26 oktober op GitHub gezet, samen met een Lean-bewijs, een programma waarmee een computer een wiskundig bewijs stap voor stap natrekt.

Dat is geen toeval. Volgens The Verge vroeg een onafhankelijke groep onderzoekers om directe publicatie, zodat anderen het ook kunnen nalopen. Die groep bestaat uit Impagliazzo, Paturi en Ryan Williams van MIT.

Welke andere ontdekkingen meldt OpenAI?

OpenAI meldt twee andere resultaten. In de wiskunde zou het model de local smoothing-conjectuur hebben bewezen, een stelling over golven. Daaruit volgt volgens OpenAI ook het Kakeya-vermoeden in alle dimensies. Een paar maanden geleden kreeg Hong Wang nog een Fields Medal, een grote wiskundeprijs, voor dat vermoeden in drie dimensies.

In de natuurkunde gaat het om een bewijs voor bepaalde quantumveldtheorieën, waaronder die van de sterke kernkracht. Die informatie is nog niet volledig openbaar. Een groep onder leiding van David Gross, met onder anderen Michael Douglas en Arthur Jaffe, gaat dit werk volgens OpenAI begeleiden.

Het is de tweede grote bewijsronde in korte tijd. Minder dan een maand eerder bracht OpenAI al honderden manuscripten uit met oplossingen voor wiskundige vragen. The Verge noemt de nieuwe werkwijze met externe begeleiders een verschil met die eerste keer.

Hoe controleren onderzoekers de bewijzen van OpenAI?

De controle moet nog beginnen, dus niets staat vast. OpenAI gaf de onderzoekers een open brief mee met vragen over eerlijke toegang, erkenning voor controlewerk en steun voor studenten. Wie het wil volgen, vindt de stukken op de GitHub-pagina van OpenAI.

Ook de werkwijze zelf is omstreden. Een adviespanel van wiskundigen dat OpenAI zelf samenstelde, schreef een dag eerder: "we recommend that AI companies do not adopt" het vooraf aanwijzen van mensen die de resultaten eerst krijgen. Het noemt ongelijke toegang en bevooroordeelde selectie als bezwaren.

Je hoeft dus niets te doen, behalve voorzichtig zijn met grote beloftes. Let op uitspraken van onafhankelijke experts zoals Impagliazzo, Paturi en Williams. Pas als zij het bewijs bevestigen, weet je of de hypothese echt is weerlegd.