Dokáže generativní AI vyřešit největší nevyřešený problém v informatice?

ZDNet to nazývá „hluboká meditace o tom, čeho lze nakonec dosáhnout pomocí počítačů“ a „jeden nejdůležitější nevyřešený problém v počítačové vědě“, s důsledky pro kryptografii i kvantové výpočty. „otázka: Je P = NP?

„Nyní, Toto úsilí využívalo generativní umělou inteligenci„.
V článku nazvaném „Velký jazykový model vědy: Studie P vs. NP“ hlavní autor Qingxiu Dong a jeho kolegové naprogramovali velký jazykový model OpenAI GPT-4 pomocí toho, čemu říkají Sokratova metoda, několik cyklů křížových výzev. chat s GPT-4. . (Byl to papír Vyšlo tento měsíc na předtiskovém serveru arXiv Vědci z Microsoftu, Pekingské univerzity, Beihang University v Pekingu a Pekingské technologické a obchodní univerzity.) Metoda týmu spočívá v tom, že vezme argumenty z předchozího článku a vloží je lžičkou do GPT-4, aby získal užitečné odpovědi.

Dong a jeho tým poznamenávají, že GPT-4 poskytuje argumenty pro závěr, že P se ve skutečnosti nerovná NP. Tvrdí, že práce ukazuje, že velké jazykové modely dokážou víc než jen vyplivnout obrovské množství textu, ale mohou také „objevit nové poznatky“, které mohou vést k „vědeckým objevům“, což je možnost, kterou nazývají „Master of Science… „.

Prostřednictvím 97 rychlopalných nábojů autoři přesvědčují GPT-4 různými tvrzeními, která se dostávají do nejhrubšího z matematiky P = NP, a prezentují každé z jejich tvrzení s předponou podmínky GPT-4, jako: „Jste moudrý filozof“, „Jste vědec.“ Matematik zběhlý v teorii pravděpodobnosti“ – jinými slovy, dnes již známá hra spočívající v tom, že GPT-4 hraje roli nebo „postavu“, aby zjednodušit generování textu. Jejich strategií je získat GPT-4, aby dokázal, že P Neve skutečnosti se rovná NP tím, že nejprve předpokládá, že tak činí s příkladem, a pak najde způsob, jak tento příklad zhroutit – přístup známý jako důkaz kontradikcí…

[T]Autoři tvrdí, že jejich dialog ve výzvách ukazuje potenciál velkých lingvistických modelů dělat víc než jen napodobovat lidské textové výtvory. „Naše vyšetřování zdůrazňuje potenciální schopnost GPT-4 spolupracovat s lidmi při zkoumání výjimečně složitých problémů na expertní úrovni,“ napsali.