#174 - Mattedrama! Er matematikken død?

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?