KI-Berichte · OpenAI · 2026-10-06 · Blog / Kommentar
Fortschritte der KI in der Mathematik teilen
Originaltitel: Sharing AI progress in mathematics
OpenAI hat neue Ergebnisse zu offenen Problemen der Mathematik von einem internen Frontier-Modell veröffentlicht. Außerdem stellt es Lean-Beweisformalisierungen und Forschungsdetails auf GitHub bereit.