Kann generative KI das größte ungelöste Problem der Informatik lösen?

ZDNet nennt es „eine tiefgreifende Meditation darüber, was letztendlich mit Computern erreicht werden kann“ und „das wichtigste ungelöste Problem in der Informatik“ mit Auswirkungen sowohl auf die Kryptographie als auch auf das Quantencomputing. „die Frage: Ist P = NP?

„Jetzt, Bei diesem Versuch kam generative künstliche Intelligenz zum Einsatz„.
In einem Artikel mit dem Titel „The Grand Language Model of Science: A Study of P vs. NP“ programmierten Hauptautor Qingxiu Dong und seine Kollegen das GPT-4-Grand-Language-Modell von OpenAI mithilfe der sogenannten sokratischen Methode, mehreren Zyklen von Cross-Prompting Chatten Sie mit GPT-4. . (Es war das Papier Es wurde diesen Monat auf dem Preprint-Server arXiv veröffentlicht Von Wissenschaftlern bei Microsoft, der Peking-Universität, der Beihang-Universität in Peking und der Beijing Technology and Business University.) Die Methode des Teams besteht darin, Argumente aus einem früheren Aufsatz zu übernehmen und sie an GPT-4 weiterzugeben, um nützliche Antworten zu erhalten.

Dong und sein Team stellen fest, dass GPT-4 Argumente für die Schlussfolgerung liefert, dass P nicht tatsächlich gleich NP ist. Sie behaupten, die Arbeit zeige, dass große Sprachmodelle mehr können, als nur große Textmengen auszuspucken, sondern auch „neue Erkenntnisse gewinnen“ können, die zu „wissenschaftlichen Entdeckungen“ führen könnten, eine Möglichkeit, die sie als „Master of Science“ bezeichnen … „.

In 97 Schnellfeuerrunden überreden die Autoren den GPT-4 mit einer Vielzahl von Behauptungen, die auf das Wesentliche der Mathematik von P = NP eingehen, und präsentieren jeder ihrer Behauptungen eine vorangestellte Aussage der GPT-4-Bedingung. wie zum Beispiel: „Sie sind ein weiser Philosoph“, „Sie sind ein Wissenschaftler.“ Ein Mathematiker, der sich mit Wahrscheinlichkeitstheorie auskennt“ – mit anderen Worten, das mittlerweile bekannte Spiel, bei dem GPT-4 eine Rolle oder einen „Charakter“ spielt Vereinfachen Sie die Textgenerierung. Ihre Strategie besteht darin, GPT-4 dazu zu bringen, zu beweisen, dass P NEINist praktisch gleich NP, indem man zunächst annimmt, dass dies bei einem Beispiel der Fall ist, und dann einen Weg findet, das Beispiel zu reduzieren – ein Ansatz, der als Beweis durch Widerspruch bekannt ist …

[T]Die Autoren argumentieren, dass ihr Dialog in Eingabeaufforderungen das Potenzial großer Sprachmodelle zeigt, mehr zu tun, als nur menschliche Textkreationen nachzuahmen. „Unsere Untersuchung unterstreicht die potenzielle Fähigkeit von GPT-4, mit Menschen bei der Erforschung außergewöhnlich komplexer Probleme auf Expertenebene zusammenzuarbeiten“, schrieben sie.