Artwork

Indhold leveret af Teknologiens Mediehus. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Teknologiens Mediehus eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.
Player FM - Podcast-app
Gå offline med appen Player FM !

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

47:19
 
Del
 

Manage episode 365011128 series 1569407
Indhold leveret af Teknologiens Mediehus. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Teknologiens Mediehus eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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?

  continue reading

287 episoder

Artwork
iconDel
 
Manage episode 365011128 series 1569407
Indhold leveret af Teknologiens Mediehus. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Teknologiens Mediehus eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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?

  continue reading

287 episoder

All episodes

×
 
Loading …

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Hurtig referencevejledning