DeepMinds Mathe-KI besteht mit neun Erdős-Beweisen das Peer-Review.
Die Fachzeitschrift Science hat am 8. Oktober Google DeepMinds Studie zu AlphaProof Nexus veröffentlicht. Das System bewies 9 von 353 offenen Erdős-Problemen und 44 Vermutungen über Zahlenfolgen. Das Programm Lean prüfte jeden Beweis, kann laut Fachleuten aber nicht beurteilen, ob die Aufgabe richtig formuliert ist.
Warum es wichtig istOpenAI stellte vorige Woche 722 maschinell verfasste Arbeiten ohne Begutachtung ins Netz, und Mathematiker protestierten. Diese Arbeit zeigt, dass KI-Ergebnisse auch den langsamen Weg gehen können.
In der App lesen — kostenlos, 9 Sprachen
Verwandte Meldungen
Ein Modell wurde besser, weil es von eigenen Agententeams lernte.2026-10-12Teams aus KI-Agenten kosten bis zu fünfmal mehr und bringen wenig.
2026-10-12OpenAIs Preisliste zeigt ein Modell, das nie angekündigt wurde.
2026-10-11Nikon entzog einem Mikroskopvideo den Preis wegen generativer KI.
2026-10-11Kein KI-Modell konnte eine Forschungsidee vom Januar neu erfinden.
2026-10-11