EIG048 Tausend Seiten Beweis (mit Manon)

• Thomas Kahle
  • Website
  • Bluesky
  • YouTube (Channel)
  • ORCiD
  • Patreon
  • @tomkalei (Mastodon)
  • Spende (Paypal)
• Manon Bischoff
  • auf spektrum.de
  • BlueSky
  • Instagram
  • Mastodon

Manon Bischoff von Spektrum der Wissenschaft ist zu Gast. Sie hat sich kürzlich an den Endgegner gewagt und zum 1000-seitigen Beweis eines Teils des Langlands-Programms die Titelgeschichte im Spektrum Heft geschrieben. Wir sprechen über diesen speziellen Beweis und auch mal wieder über die Formalisierung von Mathematik, die den Referees vielleicht irgendwann die mühselige Prüfung der Argumente abnimmt. Und wenn das Prüfen automatisiert ist, kann dann ein LLM ganz viele Beweise schreiben, um vielleicht einen zu finden, der geht?

• Manon Bischoff auf spektrum.de
• Geschichten aus der Mathematik Podcast
• Das Langlands Programm (Wikipedia)
• Geometric Langlands auf dem arXiv: I, II, III, IV, V
• Peter Scholze und Edward Frenkel (Wikipedia)
• Terry Taos Vibe Leaning auf YouTube
• Robert Langlands
• Manons Kolumne: Die fabelhafte Welt der Mathematik
• Quanta Magazine
• Nerds at work podcast
• Real Scientists auf BlueSky

Feedback gerne auf Mastodon @Eigenraum@podcasts.social, an feedback (bei) eigenpod.de oder in die Kommentarspalte auf der Episodenseite.
Ein automatisch generiertes Transkript (also den Volltext) dieser Folge gibt es auf der Episodenseite.