Може ли генеративният AI да реши най-големия нерешен проблем в компютърните науки?

ZDNet го нарича „задълбочена медитация върху това, което в крайна сметка може да се постигне с компютрите“ и „единственият най-важен нерешен проблем в компютърните науки“, с последици както за криптографията, така и за квантовите изчисления. „въпроса: Дали P = NP?“

„сега, Това усилие използва генеративен изкуствен интелект„.
В статия, озаглавена „The Grand Language Model of Science: A Study of P vs. NP“, водещият автор Qingxiu Dong и неговите колеги програмираха GPT-4 големия езиков модел на OpenAI, използвайки това, което те наричат ​​Сократов метод, няколко цикъла на кръстосано подсказване чатете с GPT-4. (Беше хартията Беше публикуван този месец на сървъра за предпечат на arXiv От учени от Microsoft, Пекинския университет, Beihang University в Пекин и Пекинския технологичен и бизнес университет.) Методът на екипа е да вземе аргументи от предишен документ и да ги предаде на GPT-4, за да получи полезни отговори.

Донг и неговият екип отбелязват, че GPT-4 предоставя аргументи за заключението, че P всъщност не е равно на NP. Те твърдят, че работата показва, че големите езикови модели могат да направят нещо повече от това просто да изплюят огромни количества текст, но също така могат да „открият нови прозрения“, които могат да доведат до „научни открития“, възможност, която те наричат ​​“магистър на науката… „.

Чрез 97 бързи изстрела авторите придумват GPT-4 с разнообразни твърдения, които навлизат в тънкостите на математиката на P = NP, като представят всяко от твърденията си с префиксно изявление на условието GPT-4, като например „Вие сте мъдър философ“, „Вие сте учен.“ Математик, владеещ теорията на вероятностите“ – с други думи, вече познатата игра на GPT-4 да играе роля или „характер“ опростете генерирането на текст. Тяхната стратегия е да накарат GPT-4 да докаже, че P невсъщност се равнява на NP, като първо се приеме, че го прави с пример и след това се намери начин да се свие примерът – подход, известен като доказателство чрез противоречие…

[T]Авторите твърдят, че техният диалог в подканите показва потенциала на големите езикови модели да правят повече от просто имитиране на човешки текстови творения. „Нашето разследване подчертава потенциалната способност на GPT-4 да си сътрудничи с хората при изследване на изключително сложни проблеми на експертно ниво“, пишат те.