Переходьте в офлайн за допомогою програми Player FM !
Uge 22: Hvad kan kunstig intelligens gøre for matematikken? Transformator har spurgt to professorer i datalogi
Manage episode 365011128 series 1569407
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
292 епізодів
Manage episode 365011128 series 1569407
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
292 епізодів
Усі епізоди
×Ласкаво просимо до Player FM!
Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.