AI lost op wat mensen niet konden
Een kunstmatige intelligentiemodel heeft een 80 jaar oud meetkundeprobleem opgelost dat was gesteld door de legendarische Hongaarse wiskundige Paul Erdős, tot verbazing van de wiskundewereld. Het Erdős-probleem, een van de ongeveer 1200 onopgeloste uitdagingen die Erdős naliet, had sinds de jaren 1940 alle menselijke pogingen weerstaan. Onderzoekers ontdekten dat de AI een complexere rangschikking van gepaarde punten vond - een die menselijke wiskundigen nooit hadden bedacht - wat leidde tot een grotere groeisnelheid dan conventionele benaderingen toelieten.
Wiskundigen roepen op tot waarborgen
De doorbraak heeft zowel opwinding als bezorgdheid gewekt. 'Dit is wat AI vond, hoe we het misten en waarom het ertoe doet', schreef The Wall Street Journal. Maar de wiskundegemeenschap roept ook op tot voorzichtigheid. De Verklaring van Leiden, ondertekend door vooraanstaande wiskundigen, pleit voor toezicht op AI-gebruik in wiskundig onderzoek, waarschuwend dat overmatig vertrouwen op AI de menselijke creativiteit zou kunnen ondermijnen die centraal staat in wiskundige ontdekkingen.
Een nieuw tijdperk voor AI in de wetenschap
Scientific American noemde de prestatie 'AI's grootste wiskundedoorbraak tot nu toe'. De oplossing toont aan dat AI nu kan bijdragen aan authentieke wiskundige ontdekkingen, niet alleen aan berekeningen. Terwijl sommigen dit vieren als een hulpmiddel om onderzoek te versnellen, vrezen anderen dat het de aard van wiskundig bewijs zelf kan veranderen. Het debat weerspiegelt bredere gesprekken in de wetenschap over waar de grens moet worden getrokken tussen AI-assistentie en menselijke ontdekking.