Ein neuer Preprint von Wang & Wu von der Hunan-Universität beweist die sphärische Hadwiger-Vermutung, die seit 1974 offen ist, mit Unterstützung von Open AI Codex. Die Autoren geben an, dass KI bei der Entwicklung von Beweisdetails, der Identifizierung von Lücken, der Organisation des Manuskripts und der englischen Korrektur geholfen hat, während sie volle Verantwortung übernehmen. Dies folgt der Formalisierung des letzten Fermatschen Satzes durch Claude in Lean derselben Woche.

Der Autor, der diesen Beweis im Rahmen seines Studiums versucht hatte, weist darauf hin, dass der GPT-4-Bericht von OpenAI schätzt, dass 100% der Arbeit von Mathematikern großen Sprachmodellen ausgesetzt ist — mehr als bei Schriftstellern oder Künstlern. Die Verzögerung des KI-Einflusses könnte darauf zurückzuführen sein, dass die Mathematik weniger wirtschaftlichen Wert und Trainingsdaten hat.

Dies wirft die Frage auf, ob die reine Mathematik dem klassischen Musikmodell eines „Konservatoriums“ folgen wird — institutionalisiert in der Akademie mit begrenzten beruflichen Rollen außerhalb der Universitäten. Ein mathematisches Konservatorium könnte das Feld bewahren, selbst wenn das Erstellen von Ergebnissen einfach wird, aber das Verständnis ihrer Bedeutung schwierig bleibt. Reine Mathematik existiert bereits in diesem Konservatorium (der Akademie), wobei nur wenige die Ergebnisse verstehen.

Schlüsselentitäten: Unternehmen: Open AI, Hunan-Universität | Personen: Wang, Wu, Claude Fable | Orte: Hunan-Universität