AlphaProof Nexus in Science: 9 Erdős-Probleme gelöst
Das Beweissystem AlphaProof Nexus von Google DeepMind erscheint in Science: Es löst 9 von 353 offenen Erdős-Problemen und beweist 44 von 492 OEIS-Vermutungen.
KI-Mathematik: News und Analysen
6 geprüfte Beiträge zu KI-Mathematik, Produkten und Branchenentwicklungen.
Meta veröffentlicht sechs Mathe-Papers mit Muse Spark
Fünf von sechs neuen Mathematik-Papers von Meta, entstanden mit dem Modell Muse Spark, lösen zuvor öffentlich gestellte, unbeantwortete Fragen.
Googles Multi-Agenten-System löst fünf offene Probleme der theoretischen Informatik
Googles Multi-Agenten-System Cogentic (Basis: Gemini) löst fünf offene Probleme aus Online-Lernen, Auktionstheorie und Mechanismusdesign, von Experten geprüft.
Terence Tao: Gute Matheprobleme werden abgebaut
Mathematiker Terence Tao warnt: Gute offene Probleme werden von KI nicht erneuerbar abgebaut, weshalb Forschende zunehmend zögern, ihre Richtungen offen zu diskutieren.
Terence Tao warnt vor einer Beweis-Überflusskrise in der Mathematik
In einem zwölfseitigen arXiv-Artikel warnt Terence Tao: Wenn KI-Beweise nur noch Dutzende bis Hunderte Dollar kosten, wird nicht der Beweis, sondern der Mensch, der ihn versteht, zur Mangelware.
OpenAI model cracks an 80-year Erdős geometry problem
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.