Недавний выпускник Массачусетского технологического института Дэвид Туртурян с помощью модели Fable 5.2 компании Anthropic решил давнюю задачу в области квантовых вычислений. Сейчас он работает техническим специалистом в стартапе Physical Superintelligence (PSI). Результат был получен в рамках раннего доступа к новой модели.
Речь идет о гипотезе Ааронсона—Амбенайса, сформулированной 18 лет назад. Она связана с вопросом о том, в каких случаях квантовые компьютеры способны решать задачи быстрее классических машин. Один из авторов гипотезы, Скотт Ааронсон, заявил, что пока не до конца понимает доказательство, но считает его корректным.
Уверенность Ааронсона связана с тем, что доказательство было автоматически формализовано на языке Lean, применяемом для записи математических рассуждений в виде кода. Решение также изучила группа ведущих исследователей, с которой PSI поделилась результатами. По словам Туртуряна, полученный результат показывает, что один из возможных путей ускоренного решения сложных задач квантовыми компьютерами, вероятно, больше не требует дальнейшего поиска.
«Это отрицательный результат, который позволяет людям понять: хорошо, мы больше не ищем в этом направлении», — сказал Туртурян в разговоре с TechCrunch. Сам исследователь допустил, что публикация может стать одной из последних в его научной карьере, поскольку развитие искусственного интеллекта меняет подход к подготовке научных работ. Он отложил планы поступления в магистратуру MIT, чтобы присоединиться к PSI.
PSI разрабатывает специализированные системы, которые используют модели искусственного интеллекта, инструменты, базы памяти и инфраструктуру для моделирования при решении научных задач. Сейчас компания получает доход от оптимизации работы центров обработки данных с учетом тепла, энергопотребления, воды и шума. В долгосрочной перспективе PSI рассчитывает превращать достижения теоретической физики в практические технологии, однако для этого полученные вычислительным путем результаты предстоит проверять экспериментами.