Tiefsee-TechFlow-Meldung: 17. September. Wie The Information berichtet, sei OpenAI inmitten der öffentlichen Debatte geraten, nachdem es in den frühen Tagen dieses Monats von Mathematikern dafür kritisiert worden war, sich die Anerkennung dafür zu sichern, dass sie eine extrem schwierige mathematische Aufgabe gelöst hätten. Eine Person, die die Lösung kennt, gab jedoch an, OpenAI sei derzeit sehr nahe daran, ein weiteres mathematisches Problem aus dem „Millennium Prize Problems“-Katalog zu lösen. Die Person erklärte, dass die Mitarbeiter damit rechnen, dass als Nächstes – also die Hodge-Vermutung – in Kürze gelöst wird.

Laut Angaben der betreffenden Person könnte das Unternehmen möglicherweise länger brauchen, bis es eine Lösung bekanntgeben kann, da es versucht, mit der mathematischen Fachwelt zusammenzuarbeiten, um sicherzustellen, dass bei der Veröffentlichung der Mitteilung keine weitere PR-Krise ausgelöst wird. Berichten zufolge sind die betreffenden Probleme zwar nicht billig zu lösen, doch einige OpenAI-Forscher sind der Ansicht, dass Mathematik nach der Softwareentwicklung der natürliche nächste Bereich ist, den seine Modelle erforschen sollten. Diese beiden Bereiche weisen ähnliche Merkmale auf: Beide erfordern schrittweise logisches Schlussfolgern, und die dabei erzielten Antworten lassen sich in der Regel automatisch auf ihre Richtigkeit hin überprüfen. Einige Forscher sind sogar der Meinung, dass die Automatisierungswelle, die in dem vergangenen Jahr in der Softwareentwicklung zu beobachten war, in den nächsten sechs bis neun Monaten auch den Bereich Mathematik erfassen werde. Darüber hinaus hilft das Lösen schwieriger mathematischer Probleme Entwicklern von KI dabei, den Automatisierungsfortschritt in der maschinellen Lernforschung voranzutreiben – ein Feld, das sehr viele mathematische Inhalte umfasst. (Jinshi)