ИИ
ИИ решил математическую гипотезу 18-летней давности в квантовых вычислениях
Компания PSI применила нейросеть для решения 18-летней гипотезы Ааронсона-Амбаиниса в области квантовых вычислений, подтвердив корректность доказательства через систему Lean.
8 ноября 2026 г., 16:10·iXBT.com
