НС

Нейро-Инсайдер: Слухи об ИИ, Новости про нейросети.

IT и технологии · 6 ноября 2026 г.

Открыть канал в MAX

Доказательство гипотезы Аронсона-Амбаиниса с помощью ИИ

Доказательство гипотезы Аронсона-Амбаиниса с помощью ИИ Система Physical Superintelligence успешно доказала гипотезу Аронсона-Амбаиниса — открытую с 2008 года задачу в области квантовых вычислений, определяющую условия экспоненциального преимущества квантовых компьютеров над классическими. Для решения задачи использовалась непубличная модель Anthropic. Система нашла полное доказательство за три дня, а итоговый результат был верифицирован с помощью языка формальной верификации Lean. 🧠 📰 Подписаться на канал