OpenAI berichtet über zehn KI-generierte Fortschritte in Mathematik und theoretischer Informatik
OpenAI sagt, dass sein Astra-Modell zehn Fortschritte bei langjährigen Problemen der Mathematik und theoretischen Informatik hervorgebracht hat, mit Lean-Formalierung zur Überprüfung.