Roundup
Am 1. August 2026 veröffentlichte OpenAI „Ten advances in mathematics and theoretical computer science“ — ein Roundup zu Problemen, die laut OpenAI mindestens ein Jahrzehnt ohne Fortschritt am Hauptergebnis blieben. Der Primärpost liegt im OpenAI-Index; Google News spiegelt denselben OpenAI-Eintrag bei Cloudflare- oder Mirror-Verzögerungen.
Was wir (nicht) zusammenfassen
Wir drucken hier nicht OpenAIs volle Zehnerliste als erledigte Theoreme nach. Sekundärberichte (u. a. Simon Willisons Link-Roundup und MLQs Peer-Review-Vorbehalt) nennen ein Begleit-PDF, Lean-4-Formalisierungen in openai/ten-proofs und laufende Community-Prüfung. Primärpost und Lean-Repo sind die Checkliste für Claims und Machine-Checks — nicht dieses Briefing als Ersatz.
Für Tool-Käufer und Research Leads liegt der News-Wert weniger bei „zehn gelösten Problemen“ als bei Frontier-Labs, die Math-/TCS-Claims mit machine-checkbaren Artefakten publizieren — anders als Blog-only-Demos. Primär-URL unten starten; bei Blockade zeigt der Google-News-Cluster zum selben Titel weiter auf OpenAI als Quelle.
Primär und Spiegel
- OpenAI — Ten advances in mathematics… — Primary announcement (index path used by openai/ten-proofs)
- Google News — same OpenAI title — RSS cluster if the index URL is unreachable
- openai/ten-proofs (Lean 4) — Formalization repo