Сотрудник PSI использовал Anthropic Fable 5.2 для решения 18-летней задачи о квантовых вычислениях

Коротко

David Turturean, недавний выпускник MIT и сотрудник Physical Superintelligence, использовал ранний доступ к модели Anthropic Fable 5.2 для решения 18-летней задачи о квантовых вычислениях.
Гипотеза Ааронсона — Амбэниса касается способности квантовых компьютеров решать задачи быстрее классических компьютеров.
Scott Aaronson считает доказательство корректным, хотя признаёт, что пока не до конца его понимает: решение было автоматически формализовано в Lean и объяснено командой исследователей.
Решение исключает один из возможных путей для быстрого решения некоторых сложных задач квантовыми компьютерами, но не закрывает все такие направления.
Сейчас PSI получает выручку благодаря инструментам для оптимизации центров обработки данных, а в долгосрочной перспективе рассчитывает превращать достижения теоретической физики в реальные технологии.

Что произошло

David Turturean из Physical Superintelligence использовал ранний доступ к модели Anthropic Fable 5.2, чтобы решить 18-летнюю задачу, связанную с гипотезой Ааронсона — Амбэниса и квантовыми вычислениями.

Scott Aaronson, один из двух исследователей, сформулировавших задачу, написал, что не до конца понимает доказательство, но считает его корректным. По его словам, решение было автоматически формализовано в Lean и объяснено командой ведущих исследователей, с которой PSI поделилась результатом.

Как PSI строит бизнес

PSI разрабатывает специализированные системы, объединяющие модели, инструменты, память и инфраструктуру для симуляций. Такой подход должен позволять исследовать научные задачи широко и глубоко, рассматривая множество возможных вариантов.

Пока выручка компании связана с оптимизацией центров обработки данных. Её инструменты моделируют тепло, энергопотребление, воду и звук, чтобы оценивать работу объекта и его влияние на окружающее сообщество.

Почему это важно

Результат, по всей видимости, закрывает один из путей, по которым квантовые компьютеры могли бы быстро решать определённые сложные задачи, но не исключает остальные. По словам Turturean, это отрицательный результат, который подсказывает исследователям, где больше не стоит искать.

Aaronson назвал полное доказательство гипотезы одной из последних нерешённых задач в квантовой вычислительной сложности, которую считали особенно важной. История также отражает более широкие изменения в науке, вызванные решением задач с помощью ИИ.

Планы компании

PSI рассчитывает со временем применять результаты в области теоретической физики для создания реальных технологий. Генеральный директор PSI Matt Pines считает, что теоретическая физика ещё не стала преимущественно сферой машин, но движется в этом направлении.

По словам Pines, ещё шесть — девять месяцев назад ему приходилось убеждать инвесторов в таком сценарии. Scott Aaronson также отметил, что гипотеза отсутствовала среди задач, упомянутых в публикации OpenAI Mathocalypse.