Cardano-Gründer bewertet OpenAIs mathematischen Durchbruch

Der Cardano-Gründer Charles Hoskinson sagte am 9. September, dass die künstliche Intelligenz in der formalen Mathematik weiter fortgeschritten sei, als er erwartet hatte.

Hoskinson erklärte, dass der mathematische Fortschritt der künstlichen Intelligenz seine früheren Erwartungen erheblich übertroffen habe.

OpenAI gibt an, dass etwa 10.000 Agenten innerhalb von insgesamt 88 Stunden an einer Lösung für die Navier-Stokes-Gleichungen gearbeitet haben.

Clay klassifiziert die Navier-Stokes-Gleichungen weiterhin als ungelöst, bis eine Veröffentlichung, Überprüfung und breite mathematische Akzeptanz weltweit erfolgt sind.

Hoskinson äußerte Bedenken hinsichtlich der Vertraulichkeit für Forscher, die unveröffentlichte Arbeiten in zentralisierte Cloud-AI-Systeme online eingeben.

OpenAI wies den Zugang zu privaten Arbeiten zurück, konnte jedoch nicht ausschließen, dass anonymisierte Nutzungsdaten die Modellverbesserungen beeinflusst haben.

Seine Kommentare folgten auf die Behauptung von OpenAI, dass ein internes System eine Lösung für das Navier-Stokes-Millennium-Preisproblem produziert habe.

In einer Übertragung bezeichnete Hoskinson die berichteten Fähigkeiten als "ziemlich bemerkenswert". Er sprach jedoch auch ungelöste Fragen über die Herkunft der Arbeit und die Privatsphäre der an cloudbasierten AI-Diensten eingereichten Forschung an.

Hoskinson sagte, dass er ursprünglich erwartet hatte, dass formale Systeme größeren Teams von Mathematikern helfen würden, zusammenzuarbeiten und menschlich verfasste Beweise zu überprüfen. Er hatte nicht erwartet, dass große Sprachmodelle so schnell vollständige Beweise selbst generieren würden.

"Wir haben nie die Ausmaße vorhergesehen, in denen KI eingreifen würde", sagte Hoskinson. Er fügte hinzu, dass die Idee, dass KI einen Beweis vollständig schreiben könnte, zuvor "ziemlich weit hergeholt" erschien.

Hoskinson hat eine direkte Verbindung zur Forschung in der formalen Mathematik. Im Jahr 2021 spendete er 20 Millionen Dollar an die Carnegie Mellon University, um das Hoskinson Center for Formal Mathematics zu gründen, wie die Universität bekannt gab.

Seine neuesten Kommentare passen auch zu Cardanos breiterem Experimentieren mit künstlicher Intelligenz. Wie crypto.news zuvor berichtete, hat Hoskinson die Experimente mit Cardano AI-Agenten verteidigt, die Kommunikation, Gemeinschaftsaktivitäten und das datenschutzorientierte Midnight-Ökosystem betreffen.

OpenAI veröffentlichte seine Forschung am 8. September. Das Unternehmen gab an, dass ein internes Modell etwa 10.000 Agenten koordinierte und nach 88 Stunden eine vorgeschlagene Lösung produzierte. GPT-6 Astra verbrachte dann weitere 17 Stunden damit, das Argument in Lean zu formalisieren und zu überprüfen.

Der Beweis versucht zu zeigen, dass eine anfangs glatte, stationäre Flüssigkeit in endlicher Zeit eine Singularität entwickeln kann, wenn sie einer glatten externen Kraft ausgesetzt wird. OpenAI erklärte, dass dies die Aussagen C und D in der offiziellen Millennium-Preis-Formulierung erfüllt.

Das Unternehmen veröffentlichte auch ein analytisches Papier und Lean-Code. Eine Lean-Formalisierung bietet maschinenprüfbare Verifizierung, dass die kodierten Schritte aus den angegebenen Annahmen folgen. Sie stellt jedoch nicht unabhängig fest, dass jede Definition und Annahme das beabsichtigte mathematische Problem genau darstellt.

OpenAI gab an, dass es nicht plant, den damit verbundenen Preis von 1 Million Dollar zu beantragen. Das Unternehmen beschrieb seine Arbeit dennoch als Lösung des Problems.

Das Clay Mathematics Institute bezeichnet das Navier-Stokes-Problem weiterhin als "ungelöst". Seine Website hatte OpenAIs vorgeschlagenen Beweis zum Zeitpunkt der Berichterstattung nicht als akzeptierte Lösung anerkannt.

Clay akzeptiert vorgeschlagene Lösungen nicht durch direkte Einreichungen. Nach seinen Regeln muss eine Lösung in einer qualifizierenden Veröffentlichung erscheinen. Es müssen mindestens zwei Jahre vergehen, und die Arbeit muss von der globalen Mathematikgemeinschaft allgemein akzeptiert werden.

Dieser Prozess bedeutet, dass OpenAIs Ankündigung und formaler Beweis keine sofortige institutionelle Anerkennung darstellen. Mathematiker müssen prüfen, ob die Konstruktion die präzise Problemstellung erfüllt und ob ihre Verwendung externer Kräfte die Frage im allgemein verstandenen Sinne beantwortet.

Die Ankündigung zog auch die Aufmerksamkeit des Mathematikers Tristan Buckmaster von der New York University und des Forschers Levent Alpöge von Anthropic auf sich. Die Forscher hatten an einem verwandten Ergebnis der Euler-Gleichungen mit einem Zwangsansatz gearbeitet.

Buckmaster stellte in Frage, ob private Arbeiten, die in OpenAIs Codex-System eingegeben wurden, zu dem Ergebnis des Unternehmens beigetragen haben könnten. Er unterließ es, nachgewiesenes Fehlverhalten zu behaupten, und sagte: "Ich weiß nicht, ob unsere Daten verwendet wurden."

OpenAI wies den Zugang zu ihren spezifischen Arbeiten zurück. Das Unternehmen erklärte jedoch, dass es die Möglichkeit, dass anonymisierte Daten aus ihrer Produktnutzung zur Verbesserung seiner Modelle beigetragen haben, nicht vollständig ausschließen könne. OpenAI betonte, dass sein Beweis unabhängig entwickelt wurde und sich von der Arbeit der Forscher unterscheidet.

Hoskinson argumentierte, dass der Streit Forscher betreffen sollte, die unveröffentlichte Ideen behandeln. Er sagte, dass Wissenschaftler, die zentralisierte AI-Dienste nutzen, in Betracht ziehen sollten, ob Eingabeaufforderungen, Notizen und Forschungsprotokolle vertraulich bleiben.

Die nächste Phase wird die öffentliche Prüfung von OpenAIs Papier und Lean-Formalisierung umfassen. Bis Spezialisten die Annahmen überprüfen und die formalen Bedingungen von Clay erfüllt sind, bleibt die Arbeit eine behauptete Lösung und keine anerkannte Lösung.

Dieser Inhalt wird nur zu allgemeinen Informationszwecken bereitgestellt und stellt keine finanzielle, Anlage-, Rechts- oder Steuerberatung dar. Alle erwähnten Ereignisse, Prämien, Online-Aktionen oder zugehörige Informationen sollten nicht als Empfehlung, Aufforderung oder Einladung zum Kauf, Verkauf, Handel oder anderweitigem Umgang mit Krypto-Assets betrachtet werden. Krypto-Assets sind sehr volatil und können zu Verlusten führen. Die Verfügbarkeit von WEEX Services, Produkten und zugehörigen Aktionen kann je nach Region unterschiedlich sein. Sie sind dafür verantwortlich sicherzustellen, dass Ihre Teilnahme mit geltenden lokalen Gesetzen und Vorschriften übereinstimmt.