Скрытая модель Anthropic доказала гипотезу о квантовых компьютерах

Группа исследователей из Physical Superintelligence заявила, что их ИИ решил давнюю открытую проблему в теории квантовых вычислений.

Они использовали версию модели Anthropic (которая не была опубликована) для решения гипотезы Аронсона-Амбайниса — математической гипотезы в квантовых вычислениях, остававшейся нерешённой с 2008 года. В течение трёх дней работы этой модели Anthropic она выдала полное решение задачи. Исследователь из Physical Superintelligence по имени David Turturean сформулировал задачу и сам проверил решение. После этого для проверки решения использовались два разных автоматических средства проверки доказательств — Lean и lean4lean.

В этом случае люди участвовали только в постановке задачи и проверке результатов — саму исследовательскую работу выполнила модель. Это продолжает тенденцию, когда важные исследования выполняются с помощью моделей Anthropic (таких как Claude), а не общедоступных моделей GPT или Gemini.