AI-crisis in wiskunde: Navier-Stokes en Riemannhypothese

Samenvatting

AI-wiskunde staat centraal in een podcast over Navier-Stokes, de Riemannhypothese en de grenzen van bewijs door AI.

AI-wiskunde en opgeloste problemen

Lex Fridman bespreekt in aflevering #503 hoe AI volgens de podcastbeschrijving enkele van de moeilijkste wiskundige problemen heeft opgelost. Het gaat onder meer om Navier-Stokes, de quasi-Riemannhypothese, de Unique Games Conjecture en honderden andere problemen.

Aan tafel zitten Ankur Moitra van MIT, Steven Brunton van de University of Washington en Alex Kontorovich van Rutgers. Hun expertise verdeelt het gesprek over complexiteitstheorie, vloeistofdynamica, getaltheorie, machine learning en formele bewijzen.

Navier-Stokes en de Riemannhypothese

De aflevering onderzoekt niet alleen of AI wiskunde kan oplossen, maar ook of AI nieuwe wiskunde kan creëren. Bij Navier-Stokes ligt de nadruk op turbulentie en machine learning voor vloeistofdynamica. De Riemannhypothese komt aan bod vanuit de getaltheorie, samen met Lean en machine-checked proofs.

Ook P versus NP, de manier waarop taalmodellen werken en problemen die AI nog niet kan oplossen krijgen een plaats in het gesprek. Daarmee behandelt de podcast zowel concrete wiskundige vraagstukken als de grenzen van huidige AI-systemen.

Voor BI-professionals ligt de waarde vooral in het onderscheid tussen rekenen, modelleren en bewijzen. Een model dat een patroon in complexe data vindt, levert nog geen formeel wiskundig bewijs op. Lean laat zien hoe zo’n bewijs controleerbaar kan worden vastgelegd. De bespreking van vloeistofdynamica raakt daarnaast aan simulaties waarin machine learning en wiskundige modellen samenkomen.

Concrete takeaway voor BI-professionals

Gebruik deze aflevering als aanleiding om AI-resultaten niet alleen op uitkomst, maar ook op controleerbaarheid te beoordelen. Let bij technische toepassingen op het verschil tussen een numerieke benadering, een gevonden vermoeden en een machine-gecontroleerd bewijs. Die scheiding helpt om claims over AI in analyse en modellering scherp te houden.