Mathematik-KI: News und Analysen

2 geprüfte Beiträge zu Mathematik-KI, Produkten und Branchenentwicklungen.

Open Source 2026-08-22

OpenBMB veröffentlicht 8B-Formalisierungsmodell, das 32B-Konkurrenten übertrifft

OpenBMB hat mit MathForm ein 8B-Modell, einen Lean-4-Datensatz und Auswertungscode offen gelegt, das auf dem schwierigsten Test FATE-X mehrere 32B-Modelle schlägt.

#Mathematik-KI #Formale Verifikation #Chinesische LLMs

DeepMind 2026-04-22

DeepMinds KI löst 6 forschungsrelevante Mathematikprobleme

Aletheia, die neueste Mathematik-KI von DeepMind, hat 6 von 10 unveröffentlichten Forschungsproblemen aus der FirstProof-Challenge gelöst. Fünf Lösungen wurden von externen Experten als „nach geringfügigen Änderungen veröffentlichungsreif" eingestuft.

#Google AI #KI-Forschung #Mathematik-KI