Startseite
Podcasts
Teknisk set Podcast
Uge 22: Hvad kan kunstig intelligens gøre for matematikken? Transformator har spurgt to professorer i datalogi

Uge 22: Hvad kan kunstig intelligens gøre for matematikken? Transformator har spurgt to professorer i datalogi

Teknisk set vor 3 Jahren

Chatrobotter baseret på GPT4 kan være en hjælp til at løse mange matematiske problemer. Men nogle gange rammer de helt skævt, fortæller to professorer i datalogi i ugens Transformator.

0:00

47:19

Podcast

Teknisk set

416 Episoden

Ingeniøren analyserer ugens teknologiske nyheder og tendenser

Wissenschaft Technologie Nachrichten

Podcast aneignen

Værter: Henrik Heide og Liv Bjerg Lillevang

Medvirkende:

Søren Hauberg, professor ved DTU Compute, forsker i maskinlæring

Thomas Bolander, professor ved DTU Compute, forsker i kunstig
intelligens

Klip: Søren Rask Petersen

Hvad kan vi bruge kunstig intelligens til inden
for matematikken? Det er emnet for ugens episode af
Transformator, hvor to DTU-professorer i datalogi, Søren Hauberg
og Thomas Bolander, fortæller hvordan de udnytter mulighederne i
de nye sprogmodeller baseret på GPT4.

Ligesom de proof assistants eller interaktive
sætningsbevisere, som matematikere har anvendt i en del år, kan
sprogmodellerne være en hjælp til at undersøge, om et matematisk
bevis holder vand. Men hvis man også forstår at udnytte den
kunstige intelligens’ kreative evner, vil de måske kunne bidrage
til at finde helt nye beviser, simpelthen fordi de har musklerne
til at afsøge mange flere muligheder. Men matematikere i kød og
blod bliver næppe overflødige foreløbig.

Links

Nature: How will AI change mathematics?