ZDNet to nazýva „hlboká meditácia o tom, čo možno v konečnom dôsledku dosiahnuť pomocou počítačov“ a „jeden najdôležitejší nevyriešený problém v informatike“, s dôsledkami pre kryptografiu aj kvantové výpočty. „otázka: Je P = NP?

„teraz, Toto úsilie využívalo generatívnu umelú inteligenciu„.
V článku s názvom „Veľký jazykový model vedy: Štúdia P vs. NP“ hlavný autor Qingxiu Dong a jeho kolegovia naprogramovali veľký jazykový model OpenAI GPT-4 pomocou toho, čo nazývajú Sokratovu metódu, niekoľko cyklov vzájomnej výzvy. chat s GPT-4. (Bol to papier Vyšlo tento mesiac na predtlačovom serveri arXiv Vedci z Microsoftu, Pekingskej univerzity, Beihangskej univerzity v Pekingu a Pekinskej technologickej a obchodnej univerzity.) Metódou tímu je zobrať argumenty z predchádzajúceho článku a po lyžičkách ich vložiť do GPT-4, aby ste získali užitočné odpovede.

Dong a jeho tím poznamenávajú, že GPT-4 poskytuje argumenty na záver, že P sa v skutočnosti nerovná NP. Tvrdia, že práca ukazuje, že veľké jazykové modely dokážu viac než len vypľúvať obrovské množstvo textu, ale môžu tiež „objaviť nové poznatky“, ktoré môžu viesť k „vedeckým objavom“, čo je možnosť, ktorú nazývajú „Master of Science… „.

Prostredníctvom 97 rýchlych nábojov autori prehovorili GPT-4 s rôznymi tvrdeniami, ktoré sa dostali do hrubej časti matematiky P = NP, pričom každý zo svojich tvrdení prezentujú predponou o stave GPT-4, ako napríklad: „Ste múdry filozof“, „Ste vedec.“ Matematik adept na teóriu pravdepodobnosti“ – inými slovami, dnes už známa hra, v ktorej hrá rolu alebo „charakter“ GPT-4. zjednodušiť generovanie textu. Ich stratégiou je získať GPT-4, aby dokázal, že P čv skutočnosti sa rovná NP tým, že najprv predpokladá, že to robí s príkladom a potom nájde spôsob, ako tento príklad zrútiť – prístup známy ako dôkaz protirečením…

[T]Autori tvrdia, že ich dialóg v výzvach ukazuje potenciál veľkých lingvistických modelov robiť viac než len napodobňovať ľudské textové výtvory. „Naše vyšetrovanie poukazuje na potenciálnu schopnosť GPT-4 spolupracovať s ľuďmi pri skúmaní výnimočne zložitých problémov na expertnej úrovni,“ napísali.