5 geprüfte Beiträge zu Mathematik, Produkten und Branchenentwicklungen.
Anthropic hat unter Apache 2.0 einen vollständigen, vom Lean-4-Kernel geprüften Beweis des großen Fermatschen Satzes veröffentlicht, mit 60.475 Modulen und drei unabhängigen Prüfläufen.
Anthropic sagt, eine unveröffentlichte Claude-Forschungsversion habe eine Untergrenze zu Riemann-Zeta-Nullstellen von 41,6% auf 67,2% verbessert.
OpenAI stellt Astra mit zehn Ergebnissen in Mathematik und theoretischer Informatik vor, samt 249-seitigem Paper, Lean-Zertifikaten und Reasoning-Walkthroughs.
GPT-5.6 liefert einen Graphentheorie-Beweis. Eine knappe Einordnung der geprüften Fakten und des Branchensignals dahinter.
DeepSeek hat ein spezialisiertes Modell namens Prover-V2 für den Bereich des mathematischen Theorembeweises veröffentlicht, das mithilfe von KI automatisch mathematische Theoreme im formalen Verifikationssystem Lean 4 beweisen soll.