OpenAI zegt dat zijn nieuwe redeneermodel een origineel wiskundig bewijs heeft geleverd dat een beroemd onopgelost meetkundig vermoeden weerlegt, voor het eerst geformuleerd door Paul Erdős in 1946. Als je wenkbrauwen nu omhoog schoten, ben je niet de enige - dit is niet de eerste keer dat OpenAI zo'n gewaagde bewering doet. Zeven maanden geleden plaatste voormalig VP Kevil Weil op X dat "GPT-5 oplossingen vond voor 10 (!) voorheen onopgeloste Erdős-problemen en vooruitgang boekte op 11 andere." Spoiler: GPT-5 loste ze niet echt op; het herontdekte alleen bestaande oplossingen die al in de literatuur stonden. Hoon van rivalen zoals Yann LeCun en Google DeepMind CEO Demis Hassabis volgde, en Weil verwijderde prompt zijn voorbarige bericht.

Deze keer zegt OpenAI dat het niet dezelfde fout heeft herhaald. Samen met de aankondiging publiceerde het bedrijf begeleidende opmerkingen van wiskundigen Noga Alon, Melanie Wood en Thomas Bloom - die de Erdos Problems-website beheert en eerder Weils bericht "een dramatische verkeerde voorstelling van zaken" noemde. "Bijna 80 jaar lang geloofden wiskundigen dat de best mogelijke oplossingen er ongeveer uitzagen als vierkante roosters," plaatste OpenAI op X. "Een OpenAI-model heeft dat geloof nu weerlegd en een geheel nieuwe familie van constructies ontdekt die beter presteert."

Het bedrijf beweert dat dit "de eerste keer is dat AI autonoom een prominent open probleem heeft opgelost dat centraal staat in een vakgebied van de wiskunde." Het bewijs kwam van een nieuw algemeen redeneermodel, niet van een systeem dat specifiek voor wiskunde is ontworpen - wat OpenAI zegt dat significant is omdat het betekent dat AI nu lange, moeilijke redeneerketens kan vasthouden en ideeën over vakgebieden heen kan verbinden. Dat heeft naar verluidt implicaties voor biologie, natuurkunde, techniek en geneeskunde. "AI helpt ons om de kathedraal van de wiskunde die we door de eeuwen heen hebben gebouwd, vollediger te verkennen," zei Bloom. "Welke andere onzichtbare wonderen staan er nog in de coulissen?"