Een AI-model van OpenAI heeft een beroemde wiskundige doorbraak bereikt. Het model loste de Erdős unit distance conjecture op, een wiskundeprobleem dat al 80 jaar open stond. Wiskundigen wereldwijd hadden er geen oplossing voor gevonden. De Fields Medal-winnaar Tim Gowers noemde het resultaat een mijlpaal in de AI-wiskunde. Een professor van de Universiteit van Toronto omschreef het als het eerste AI-resultaat dat hij op zichzelf interessant vindt.
De Erdős unit distance conjecture stamt uit 1946. Wiskundige Paul Erdős introduceerde de vraag: hoeveel paren punten in een plat vlak liggen precies één eenheid van elkaar? Het probleem klinkt eenvoudig, maar groeit snel in complexiteit. Erdős stond bekend om het stellen van simpele vragen met diepe wiskundige wortels. Zijn probleem bleef 80 jaar onopgelost.
Het AI-model paste bestaande ideeën slim toe uit verschillende wiskundetakken. Het model ontwikkelde geen nieuwe technieken. De aanpak speelde in op de sterke kanten van AI. AI heeft een brede kennis van eerder werk. Bovendien werkt AI complexe bewijsstrategieën geduldig door. Menselijke wiskundigen hebben het bewijs daarna verder verfijnd en uitgebreid. Dit laat zien hoe AI en mensen elkaar aanvullen in de wetenschap. Mensen denken dieper na over specifieke problemen en stellen creatievere vragen.
AI presteert steeds beter in wiskunde. Drie jaar geleden hadden taalmodellen moeite met eenvoudige rekenopgaven. Vorig jaar haalden ze al hoge scores bij wiskundewedstrijden voor middelbare scholieren. Op een groot wiskundecongres in januari droeg AI bij aan onderzoek, maar menselijke interpretatie was nog nodig. Nu heeft een AI voor het eerst zelfstandig een groot open conjecture opgelost. Het is onduidelijk welke rol menselijke wiskundigen over tien jaar nog spelen.
