OpenAI onthulde maandag dat zijn algemeen redenerend model het vlakke eenheidsafstandsprobleem heeft opgelost, een open vraag in discrete meetkunde voor het eerst gesteld door wiskundige Paul Erdos in 1946. De prestatie markeert de eerste keer dat een AI-systeem autonoom een prominent open probleem heeft gekraakt dat centraal staat in een wiskundig vakgebied.
Wat de AI ontdekte
Bijna 80 jaar lang geloofden wiskundigen dat optimale oplossingen voor het Erdos-probleem ruwweg op vierkante roosters leken. Het OpenAI-model weerlegde die aanname en genereerde een volledig nieuwe familie van constructies die betere prestaties levert. Het bewijs kwam van een algemeen redenerend model, niet een systeem specifiek gebouwd voor wiskunde, en werd geformaliseerd in de Lean-verificatietaal.
Deskundige verificatie
Fields-medaillewinnaar Terence Tao beoordeelde en accepteerde het bewijs, wat het geloofwaardigheid gaf binnen de wiskundige gemeenschap. Het resultaat wordt beschreven als het begin van een nieuw tijdperk waarin AI-systemen lange redeneerketens kunnen vasthouden en ideeën uit afgelegen velden kunnen verbinden.
Implicaties verder dan wiskunde
OpenAI zei dat dezelfde capaciteiten die deze wiskundige doorbraak mogelijk maakten, binnenkort het werk in biologie, natuurkunde, techniek en geneeskunde zullen versnellen. Het bedrijf benadrukte dat menselijk oordeel essentieel blijft: AI kan zoeken, suggereren en verifiëren, maar mensen kiezen de problemen die ertoe doen en interpreteren resultaten.