GPT-5 is net geslaagd voor wat onderzoekers de 'Gödel-test' noemen. Dat betekent dat het niet alleen gaat om het oplossen van leerboekproblemen, maar ook om het aanpakken van open wiskundige vermoedens die een ervaren promovendus normaal gesproken dagen zou kosten om te kraken. In een nieuw artikel werd GPT-5 getest op 5 onopgeloste optimalisatievermoedens. Het loste 3 van de 5 op. Op één probleem leverde het zelfs een ander geldig bewijs op dan de onderzoekers hadden verwacht. We zijn officieel het tijdperk ingegaan waarin frontier AI niet alleen leert van wiskunde, maar ook wiskunde doet. De implicaties zijn enorm: • Vooruitgang bij problemen die mensen dagen of weken stompen • AI die bijdraagt aan echte wiskundige ontdekkingen • Een voorproefje van hoe het onderzoek zelf in de jaren 2030 zal transformeren Mensen onderschatten dit nog steeds. De impact van modellen die stellingen kunnen bewijzen is nog maar net begonnen door te dringen. Dit is de grens tussen "fancy autocomplete" en echt wetenschappelijk redeneren.