Die spannendsten Behauptungen aus OpenAIs Berg an neuen Beweisen

Am Dienstagnachmittag hat OpenAI mehr als 700 Manuskripte veröffentlicht, die Beweise, Lösungen und Fortschritte zu 372 offenen Problemen in der theoretischen Forschung melden.

Es wird Zeit brauchen, bis Mathematiker sich durch all die von künstlicher Intelligenz generierten Ergebnisse gearbeitet haben. Niemand, nicht einmal die OpenAI-Forscher selbst, war bisher in der Lage, überhaupt alles durchzulesen. Und nicht alle Beweise wurden von der automatischen Logikverifizierungsplattform Lean als korrekt zertifiziert – tatsächlich wurden einige bereits zurückgezogen, nachdem externe Wissenschaftler Fehler gefunden hatten. OpenAI fügte auch keine vollständigen Prompts oder Laufzeitdetails dazu bei, wie ihre Agenten die Beweise aufdeckten, und Verantwortliche räumten in einem Blogpost über die Ergebnisse ein, dass Zitate und schriftliche Beschreibungen der Ergebnisse in zukünftigen Veröffentlichungen verbessert werden könnten.

MEHR LESEN: Mathematiker staunen und murren über den Schatz an neuen Ergebnissen von OpenAI

Zur Unterstützung des Wissenschaftsjournalismus

Wenn Ihnen dieser Artikel gefällt, erwägen Sie die Unterstützung unseres preisgekrönten Journalismus durch ein Abonnement. Durch den Kauf eines Abonnements tragen Sie dazu bei, die Zukunft wirkungsvoller Geschichten über Entdeckungen und Ideen zu sichern, die unsere Welt von heute prägen.