August 3, 2026
KI widerlegt 90 Jahre altes Mathe-Rätsel: Der Beweisassistent war zuerst defekt
KIMathematikFormale Verifikation
#mathematik
7 Artikel · Alle Tags
📡 Events
July 28, 2026
1.294 Punkte auf Hacker News: Sind Software-Bugs mathematische Schicksale oder menschliche Fehler?
MathematikBugsSoftwarePhilosophie
July 26, 2026
Die dunkle Nacht der Mathematik: Wie vier Krisen die Disziplin neu formten
MathematikWissenschaftsphilosophieIdeen
July 23, 2026
Mathe-Genie Terence Tao nutzt ChatGPT, um ein Jahrhundertproblem zu knacken
KIMathematikChatGPTTao
July 22, 2026
KI-Gegenbeispiele in Rekordzeit: Wie eine Maschine drei Jahrzehnte alte Vermutungen widerlegte
KIMathematikLeanFormale Verifikation
July 19, 2026
GPT-5.6 beweist mit einem Prompt, dass ein 30 Jahre alter Algorithmus am Limit ist
KIGPT-5.6MathematikFormale Beweise
July 4, 2026
16 Jahre lang von Hunderten Millionen genutzt, kein Mensch hat es entdeckt – die Mathematik fand es in 20 Schritten
SQLiteTLA+Formale VerifikationWAL