#174 - Mattedrama! Er matematikken død?
Show notes
KI har løst et av de 7 millenniums-problemene. Et matematisk mysterium som har stått uløst i over 200 år. KI brukte 88 timer.
Er det i det hele tatt bruk for matematikere fremover?
Gabriel Paaske og Elias Klakken Angelsen er stipendiater ved Matematisk Institutt på UiO.
Vert🎙️: Kristian Hope
00:00 - KI har rystet matematikkverden
03:20 – En million dollar for et "umulig" matematisk problem
06:07 – Navier Stokes, kan væsker få uendelig fart?
14:38 – 10 000 KI-agenter, anklager, konflikt og kontroverser
21:12 – Ok, så er Navier Stokes løst, men har vi egentlig forstått noe?
31:13 – Hva blir matematikernes rolle når KI kan bevise teoremer?
36:52 – Mister vi evnen til å tenke selv?
40:29 – En ny kunnskapsrevolusjon – eller slutten på noe menneskelig?