ChatGPT Mathematik

OpenAI berichtet über zehn neue Resultate in Mathematik und theoretischer Informatik, die laut eigener Darstellung von einer internen Version des kommenden Modells Astra erzeugt wurden. Der Kern ist nicht nur die Zahl der gelösten Probleme, sondern der Arbeitsablauf: KI generiert Beweisideen, Menschen bereiten Manuskripte vor, Lean prüft die Argumente formal. Übersicht: Was OpenAI meldet Die…