Show Notes
- Thomas Kahle
- Manon Bischoff
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 @[email protected], 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.