Zehn bahnbrechende Fortschritte in Mathematik und theoretischer Informatik durch OpenAI
Ten advances in mathematics and theoretical computer science
Wir stellen zehn neue Lösungen für langjährige offene Probleme in Bereichen wie Geometrie und Quantenkomplexität vor, die von unserem Astra-Modell gefunden wurden. Diese Ergebnisse wurden von Menschen in Manuskripten aufbereitet und in Lean formalisiert. Wir betonen dabei die Wichtigkeit einer ehrlichen Attribution und die Verantwortung gegenüber der mathematischen Gemeinschaft.
Wir glauben, dass die Zuschreibung ehrlich widerspiegeln muss, wie ein Ergebnis zustande kam: Die Behauptung menschlicher Autorenschaft für einen vollständig von einem KI-System generierten Beweis würde sowohl den Beitrag des Systems als auch die Natur echter menschlicher intellektueller Arbeit verfälschen.