Искусственный интеллект решил 18-летнюю проблему квантовых вычислений — результат проверили в Lean
iXBT · 08.11.2026 · 13:10
Система компании PSI с помощью модели Anthropic построила формальное математическое доказательство гипотезы Ааронсона — Амбаиниса, ограничивающей возможности квантового ускорения для…