
127: Erkendelse på frihjul? Om AI og matematik
Inden for matematikfaget føler en del øjensynligt, at tæppet er ved at blive trukket væk under dem. Folk er i chok. Årsagen er, at de agentiske sprogmodeller er blevet så gode til matematik, at de kan bidrage med løsninger på – i hvert fald nogle af – matematikkens store udestående problemer. Og det i et tempo, hvor fagfolkene har svært ved at følge med. Det er imidlertid ikke den eneste udfordring. Klaus åbner med Hegel: Det nøgne resultat er et lig, erkendelsen sker på vejen derhen. Spørgsmålet er, om vi mister noget vigtigt, når svaret kommer færdigt fra en maskine? Thomas er mindre sympatisk indstillet over for matematikernes bekymringer. Han ser de maskingenerede beviser som eksistensbeviser fyldt med “accidental complexity” og matematikerens nye opgave som at rydde op, finde det essentielle og arbejde på et højere abstraktionsniveau, ligesom softwareudviklere har måttet gøre det seneste år. Sådan kan det meget vel se ud fra en teknisk vinkel, men hvad vil det så overhovedet sige at erkende noget? **** Nu også på YouTube — hvis du bedst kan lide din podcast med uden video. https://youtube.com/@silberblom **** Hvem betaler for Silberbauer & Blomseth? Det gør vi selv. Vores indhold er på ingen måde egnet til sponsorer eller reklamer for proteinpulver, VPN-forbindelse eller e-bøger. Så hosting, udstyr og alt det der er på egen regning. Det eneste vi beder om til gengæld (hvis du altså kan lide det, vi laver) er at du smider stjerner, og måske oven i købet en lille anbefaling, efter os på Apple Podcast. Det betyder alverden. Vi higer jo allesammen efter anerkendelse i en eller anden form. Husk at følge os på Bluesky (@silberblom) Linktree
- Transcript
- Chapters


















