OpenAIs Astra löst 10 langjährige mathematische Probleme und veröffentlicht Beweise
OpenAI veröffentlichte Beweise für zehn offene mathematische Probleme, darunter eine gruppentheoretische Frage von 1999, unter Verwendung einer internen Version seines nächsten Modells Astra. Die Rechenkosten beliefen sich auf etwa 2.000 US-Dollar an API-Tokens.
OpenAI hat Beweise für zehn mathematische Probleme veröffentlicht, die mindestens seit 2016 ungelöst waren, unter Verwendung einer internen Version seines kommenden Modells Astra. Unter den Ergebnissen befindet sich eine Konstruktion, die die Existenz nicht‑soficer Gruppen beweist, ein seit 1999 offenes Problem. Alle Schlussfolgerungsaufzeichnungen und Zertifikate wurden öffentlich gemacht.
Die Lösungen erforderten Rechenleistung im Wert von etwa 2.000 US-Dollar zu API-Token-Raten. Das System konnte jedoch kein Millennium‑Preis‑Problem knacken.
Die Veröffentlichungen unterstreichen das beschleunigte Tempo KI‑gestützter Forschung und könnten die Erwartungen an Schlussfolgerungsmodelle in technischen Bereichen steigern.
Source: ForkLog