• 
  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.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