Claude hebt Zeta-Untergrenze auf 67%
Anthropic sagt, eine unveröffentlichte Claude-Forschungsversion habe eine Untergrenze zu Riemann-Zeta-Nullstellen von 41,6% auf 67,2% verbessert.
Mathematik: News und Analysen
4 geprüfte Beiträge zu Mathematik, Produkten und Branchenentwicklungen.
OpenAI lässt Astra zehn Beweise schreiben
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
GPT-5.6 liefert einen Graphentheorie-Beweis. Eine knappe Einordnung der geprüften Fakten und des Branchensignals dahinter.
DeepSeek veröffentlicht Mathematik-Beweismodell Prover-V2
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.