Vooruitblik 2025 - Kan AI nieuwe wiskunde formuleren?

Vooruitblik 2025 - Kan AI nieuwe wiskunde formuleren?

Delen:

Systemen zoals ChatGPT, Gemini en verwanten hebben de afgelopen jaren indrukwekkende vooruitgang geboekt, maar bereiken we stilaan de grenzen van het mogelijke of loeren er nieuwe doorbraken om de hoek?

Recent wordt onder de leiding van vooraanstaande wiskundigen enorm ingezet op automatische bewijsverificatiesystemen: potentieel vervangen zij op termijn het tijdrovende, complexe, en vooral menselijke proces van het verifiëren van nieuwe wiskundige resultaten. In combinatie met AI zouden zulke systemen echter eveneens kunnen ingezet worden om nieuwe verbanden te leggen die voorheen onopgemerkt bleven door de mens. Zij kunnen namelijk omgaan met de enorme hoeveelheid beschikbare kennis die ver de capaciteit van een menselijk brein overstijgt. Deze nieuwe inzichten kunnen (menselijk) onderzoek gidsen, maar even goed zouden deze systemen zelf vermoedens kunnen poneren en bewijzen. Hallucinaties zijn hier geen probleem meer: de integratie van bewijsverificatiesystemen waakt over de correctheid.

Al deze ontwikkelingen openen de deur naar een toekomst waarin AI niet alleen een ondersteunende, maar ook een actieve rol speelt in wiskundig onderzoek. De vraag of menselijke wiskundigen zoals ik dan ooit overbodig worden stelt zich automatisch, maar zal (gelukkig) nog niet aan de orde zijn in 2025.

Delen:

Artificiële intelligentie lost in een verbluffend tempo wiskundige problemen op waar wiskundigen zich al jarenlang het hoofd over breken. Voor wiskundige Dirk Huylebrouck voelt het alsof AI hem een droom heeft ontnomen.

In de klas kun je het misschien verbieden. Toch blijkt het in de praktijk nog knap lastig om delen door nul altijd te vermijden.

Vorige week liet OpenAI weten dat zijn model een van de moeilijkste wiskundige problemen, het Navier-Stokesprobleem over vloeistofbewegingen, had opgelost. De claim moet nog bevestigd worden, maar welke doorbraak is de volgende? En wat betekent dat voor andere mysteries uit de wetenschap?

Soms heeft een schilder een wiskundige nodig en soms heeft een wiskundige, zoals ik, een kunstenaar nodig om te zien hoe wonderlijk wiskunde voor niet-wiskundigen werkelijk is.

Natuurkundigen gebruikten een wiskundig model om de toekomst van onze maatschappij te voorspellen. Blijkbaar is de mensheid minder veerkrachtig in crisissen dan gedacht.

Met de sinus kunnen tal van praktische problemen worden opgelost. Wat ooit begon als een handig hulpmiddel leeft vandaag voort als algoritme.

De oudste vormen van tellen dateren van meer dan 50.000 jaar geleden en gebeurden met de vingers. Al snel bleken die onvoldoende en creëerden we stapje voor stapje complexere telsystemen.

De Duitse wiskundige leverde het bewijs voor een vermoeden dat zestig jaar lang onopgelost was gebleven. 'Zijn werk heeft het vakgebied ingrijpend veranderd.'

Alweer $\pi$-dag, alweer een record, alweer een berekening.

En blijf op de hoogte van de laatste inzichten in wetenschap en technologie.

Nieuwsbrieven