AI in de wiskunde opent een nieuwe gouden eeuw van wetenschappelijke ontdekkingen
Generatieve AI-modellen hebben geholpen bij het oplossen van een beroemde meetkundige grafenhypothese van Paul Erdős, die wiskundigen al 80 jaar bezighield. Machine learning wordt nu gebruikt om miljoenen logische ketens te genereren en te verifiëren, in combinatie met interactieve stellingbewijzers zoals Lean om hallucinaties te voorkomen. Dit markeert een verschuiving waarbij AI het menselijk vernuft in de wiskunde versterkt in plaats van vervangt.
De Hongaarse wiskundige Paul Erdős liet honderden onopgeloste problemen met geldprijzen na, waaronder de eenheidsafstandenhypothese in de meetkundige grafentheorie. Deze hypothese vraagt in wezen naar het maximale aantal gelijke verbindingen tussen een verzameling punten, een puzzel die bijna 80 jaar weerstand bood aan menselijke intuïtie. Een generatief algoritme ontdekte niet-triviale ruimtelijke structuren die mensen over het hoofd hadden gezien, waardoor het probleem gedeeltelijk werd opgelost. Tegenwoordig verricht AI het saaie werk van het opsommen van miljoenen combinaties en het opsporen van verborgen patronen, terwijl interactieve stellingbewijzers zoals Lean of Coq elke stap verifiëren, wat hallucinaties uitsluit. Ondanks deze successen blijven fundamentele problemen zoals de Riemannhypothese of de Navier-Stokes-vergelijkingen onopgelost, omdat ze nieuw conceptueel taalgebruik vereisen. Voor de Russischtalige wetenschappelijke gemeenschap maakt deze computationele verschuiving gebruik van een sterke wiskundige traditie, met toepassingen variërend van neurale netwerkoptimalisatie tot kwantumbestendige cryptografie. AI fungeert als een digitaal exoskelet voor het menselijk brein, waardoor onderzoekers worden bevrijd van routinetaken en zich kunnen concentreren op strategische doelen en conceptuele visie.
Bron: Habr — хаб ИИ —
origineel