Bilanz der Quelle: Das Unternehmen Math Inc. meldete, dass die neueste Version seines KI-Systems Gauss den Beweis der Mathematikerin Maryna Viazovska zur Kugelpackung innerhalb von zwei Wochen formal verifiziert hat. Das kollaborative Formalisierungsprojekt des CMU-Doktoranden Sidharth Hariharan hätte laut eigenen Angaben dafür Monate gebraucht. Hariharan widerspricht dem Eindruck vollendeter Arbeit: Die Formalisierung sei unvollständig und die Verifikationsangabe müsse genau geprüft werden. Nachdem Math Inc. die Ergebnisse mit Medien geteilt hatte, erlangte das Projekt internationale Aufmerksamkeit; Hariharans Berater Jeremy Avigad unterstützt die Arbeit weiter.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von cmu.edu. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Kalina Digest unterstützen
Lesen bleibt frei. Wer mag, gibt etwas zurück — ab 1 € einmalig, oder als Stufe für einen Monat, ein Quartal oder ein Jahr. Bisher: 5.00 € aus 1 Beiträgen.
