Система компании PSI с помощью модели Anthropic построила формальное математическое доказательство гипотезы Ааронсона — Амбаиниса, ограничивающей возможности квантового ускорения для определённого класса алгоритмов. Независимая академическая экспертиза результата ещё продолжается Исследовательская…