OpenAI beansprucht Durchbruch bei Millennium-Problem und bringt Mathematiker ins Grübeln
TL;DR
OpenAI soll laut The Guardian mit seinem neuesten AI-Modell ein Millennium-Preisproblem gelöst haben, an dem sich Mathematiker seit Jahrzehnten die Zähne ausbeißen. Dafür wurden angeblich 10.000 autonome AI-Agenten eingesetzt, die geschätzten Kosten liegen bei rund 15 Millionen Dollar. Der Fall sorgt für Aufsehen, weil ein privates Unternehmen mathematische Forschung mit enormem Rechen- und Agenteneinsatz skaliert.
Nauti's Take
Für AI-Teams ist der wichtigste Test die Nachprüfbarkeit: Lässt sich die behauptete Lösung mit denselben Prompts, Tools und Rechenbudgets reproduzieren? Solange unabhängige Mathematiker die Beweise nicht geprüft haben, sollte man daraus keine belastbare Methode für eigene Forschungs-Workflows ableiten.
Quellen
10.9.26