2026年10月7日

KI-Beweis droht: Forscher beeilen sich mit Papier

Lo AI chứng minh trước, nhóm nghiên cứu vội tung bài báo

出典：Quanta

この読解文はドイツ語学習者向けに翻訳・簡略化されています。原文の著作権はQuantaに帰属します。

KI-Beweis droht: Forscher beeilen sich mit Papier

単語やフレーズを選択すると、検索・翻訳・ハイライト・メモができます。

読解の進捗

段落 1/13

まずドイツ語を読みましょう。必要に応じて各段落の下に翻訳を表示できます。

Drei Informatiker schreiben schnell ein wichtiges Papier. Sie haben Angst vor einem KI-Beweis von OpenAI.

Am Morgen des 11. September 2026 bekommt Dor Minzer eine Nachricht von einem Freund. Die Frage: Ist er kurz vor der Lösung einer sehr berühmten Frage in der Informatik? Minzer ist Professor am Massachusetts Institute of Technology. Er ist ein Experte für die „Unique-Games-Vermutung“. Zuerst denkt er, es ist ein Witz. Dann kommen mehr Nachrichten. Die Gerüchte werden klarer. Die Firma OpenAI hat vielleicht einen Beweis für die Unique-Games-Vermutung gefunden. OpenAI hat kurz vorher einen großen Beweis über Flüssigkeiten bekannt gemacht. Dieser Beweis sorgt für viel Aufregung in der Mathe-Welt. OpenAI will das neue Ergebnis vielleicht bald zeigen. Die Nachrichten sagen: Wenn Minzer eigene Ergebnisse hat, soll er sie jetzt teilen.

Die Unique-Games-Vermutung ist eine sehr bekannte Frage in der Komplexitätstheorie. Die Komplexitätstheorie untersucht, wie schwer Mathe-Probleme sind. Grob gesagt geht es um dieses Problem: Man muss viele Regeln zur gleichen Zeit erfüllen. Das kann extrem schwer sein. Das gilt sogar dann, wenn man nur eine schlechte Lösung will, nicht die beste Lösung. Ein Beweis wäre auch für viele andere Probleme wichtig. Er zeigt automatisch: Die Methoden von heute für viele andere Probleme kann man nicht besser machen. Forscher wären dann näher an einer gemeinsamen Theorie über Schwierigkeit.

Minzer hat die Unique-Games-Vermutung nicht bewiesen. Aber er und seine Studenten Yumou Fei und Shuo Wang haben ein wichtiges Ergebnis zu einer ähnlichen Frage bewiesen. Sie schreiben gerade ihren Text. Normal dauert das Monate oder länger. Dann kommen die Gerüchte. Die drei arbeiten sehr schnell, um den Text fertig zu machen. Sie wollen nicht von einer Pressemeldung von OpenAI verdeckt werden. Drei Tage später stellen sie ein 95-Seiten-Papier online. Vollständigkeit ist ihnen wichtiger als Klarheit. Auf der ersten Seite steht ein Hinweis: „Die aktuelle Version ist mathematisch komplett, aber sie ist nicht in der Form, in der wir sie teilen wollten.“

Dor Minzer und seine Studenten stellen schnell ein wichtiges Ergebnis online. Sie wollen nicht von einem möglichen KI-Beweis verdeckt werden.

Ihre schnelle Entscheidung war richtig. Am 6. Oktober meldet OpenAI einen Beweis der Unique-Games-Vermutung. Dazu meldet OpenAI noch 376 andere Ergebnisse aus vielen Mathe-Bereichen. Forscher reagieren auf die vielen KI-Beweise mit Angst und Neugier. Das ist nach neuen Fortschritten normal. Die Reaktion auf Minzers Ergebnis ist weniger gemischt.

Ryan O’Donnell ist Informatiker an der Carnegie Mellon University. Er sagt: „Er hat schon viele gute Papiere zu diesem Thema geschrieben. Das ist ein weiteres wirklich großes Papier.“

Meistens zufrieden

Bei beiden Themen geht es um viele Regeln zur gleichen Zeit. Die Regeln können sich widersprechen. Ähnliche Probleme gibt es im Alltag: zum Beispiel ein Sudoku ausfüllen oder die Sitzordnung für eine Hochzeit planen. Man will Freunde zusammen setzen. Gäste, die sich nicht mögen, sollen an verschiedenen Tischen sitzen. Und alle Plätze an jedem Tisch muss man füllen.

Diese Probleme exakt zu lösen, kann schwer oder sogar unmöglich sein. Manchmal gibt es eine Lösung für alle Regeln. Aber alle bekannten Methoden sind sehr langsam. Oder die Regeln passen nicht zusammen. Dann gibt es keine perfekte Lösung.

In diesen Fällen nehmen Forscher oft eine ungefähre Lösung. Sie erfüllt nur einige Regeln, nicht alle. Komplexitätstheoretiker wollen verstehen: Warum ist es manchmal leicht und manchmal schwer, diese Lösungen zu finden? O’Donnell sagt: „Viele Arbeiten versuchen zu verstehen, wo die Grenze ist.“

Die Unique-Games-Vermutung hängt stark mit dieser Suche zusammen. Der Forscher Subhash Khot hat sie zuerst in einem Papier von 2002 beschrieben. Damals war er noch Student. Es geht um ein spezielles Problem mit Graphen. Graphen sind Netze aus Punkten mit Linien. Die Linien heißen Kanten. Man bekommt einen Graphen und soll die Punkte färben. Man hat eine feste Zahl von Farben. Jede Kante hat eine Regel für die Farben an beiden Enden. Zum Beispiel: Eine Kante sagt, die zwei Punkte müssen die gleiche Farbe haben. Eine andere Kante sagt: Wenn ein Punkt rot ist, muss der andere blau sein. Und wenn ein Punkt grün ist, muss der andere gelb sein.

Subhash Khot hat die Unique-Games-Vermutung gestellt, als er noch Student war.

KI-Beweis droht: Forscher beeilen sich mit Papier

Meistens zufrieden

Tạm ổn cũng đã tốt

次に読む

読解チェック

Der Vierfarbensatz: Ein neuer Beweis

Braucht die Informatik Computer?

Quantencomputer bauen – ein Qubit nach dem anderen

Neue Schritte von selbstständigen KI-Agenten