KI-Fortschritte in der Mathematik teilen

OpenAI veröffentlicht neue Ergebnisse eines internen Frontier-Modells zu offenen mathematischen Problemen und teilt auf GitHub Lean-Beweisformalisierungen und Forschungsdetails.

Sprache der Originalquelle · Englisch

Geprüft · 10. Oktober 2026