• Исследователи используют GPT-4 компании OpenAI, чтобы углубиться в давний вопрос, применяя сократический метод для вовлечения ИИ в тонкие обсуждения.
  • Исследование показывает, что большие языковые модели, такие как GPT-4, могут выявлять новые идеи, открывая перспективы значительных открытий в разных областях.
  • Исследователи стремятся показать, что P не равно NP, проводя GPT-4 через множество итераций и используя персоны и сложные запросы для изучения математики, стоящей за гипотезой.

Читайте также:Для чего нужен суперкомпьютер?

Исследователи используют GPT-4 компании OpenAI, чтобы разобраться в споре о равенстве P и NP; это указывает на способность ИИ совершать прорывные открытия.

Какую роль может сыграть ИИ в решении дилеммы P против NP?

Равны ли P и NP? Вопрос, заданный почти 50 лет назад, глубоко связан с возможностями компьютеров, но, несмотря на десятилетия изучения, остаётся без ответа. Теперь к поиску присоединяется генеративный ИИ.

В исследовании под названием «Большая языковая модель для науки: исследование вопроса P против NP» ведущий автор Qingxiu Dong и соавторы используют большую языковую модель GPT-4 отOpenAI. Применяя так называемый сократический метод, они вовлекают GPT-4 в многочисленные диалоговые взаимодействия.

Читайте также:Samsung интегрирует генеративный ИИ Google в серию S24

Как большие языковые модели могут повлиять на будущие научные исследования?

Dong и соавторы утверждают, что их работа показывает, как большие языковые модели способны выявлять новые идеи и потенциально вести к научным прорывам; эту концепцию они называют «LLM для науки».

На протяжении 97 итераций запросов авторы проводят GPT-4 через подробные вопросы о тонкостях утверждения P = NP, предваряя каждый запрос контекстным утверждением, чтобы направлять ответы GPT-4. Используя персоны, например «мудрый философ» или «математик, специализирующийся на теории вероятностей», они побуждают GPT-4 принимать определённые роли.

Их тактика состоит в том, чтобы подвести GPT-4 к опровержению равенства P и NP. Для этого они сначала предполагают равенство, приводят пример, а затем показывают его изъяны; такой метод известен как доказательство от противного.