Thomas Kahle
Website
Bluesky
YouTube (Channel)
ORCiD
Patreon
@tomkalei (Mastodon)
Spende (Paypal)
Manon Bischoff
auf spektrum.de
BlueSky
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.deGeschichten aus der Mathematik PodcastDas Langlands Programm (Wikipedia)Geometric Langlands auf dem arXiv: I, II, III, IV, VPeter Scholze und Edward Frenkel (Wikipedia)Terry Taos Vibe Leaning auf YouTubeRobert LanglandsManons Kolumne: Die fabelhafte Welt der MathematikQuanta MagazineNerds at work podcastReal Scientists auf BlueSkyFeedback 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.