Ein Schwarm zähmt das Monster

Auf den Holzbänken eines Auditoriums erklären die Entwickler von Axiom, wie sie der Mathematik das Misstrauen ausgetrieben haben. Der Jahrhundertbeweis für die Bausteine aller endlichen Symmetrien galt zwar als vollendet, doch niemand konnte die 15.000 Seiten Papier wirklich überblicken. Axioms Antwort war ein Schwarm kooperierender KI-Agenten, die sich über GitHub selbst organisierten. Binnen 24 Tagen formalisierten sie das gigantische Theorem in 43 Millionen Zeilen Lean-Code. Am Ende zählte kein akademischer Konsens mehr, sondern allein der fehlerfreie Durchlauf des Compilers. Als lustige Referenz auf den Titel : Die größte der 26 Ausnahme-Gruppen der Klassifikation heißt tatsächlich Monster. Sie hat ungefähr 8 mal 10 hoch 53 Elemente, mehr als die Erde Atome hat. Robert Griess konstruierte sie 1982 und nannte sie den freundlichen Riesen.

vor 2 Minuten

• 
• 
• 
• 
• 
• 
• 
• 
• 

Science , Interessantes , Technologie