tarasovcode
Модели1 мин чтенияiXBT

Искусственный интеллект решил 18-летнюю проблему квантовых вычислений — результат проверили в Lean

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

Сохранить
Поделиться:VKTelegramWhatsApp
Искусственный интеллект решил 18-летнюю проблему квантовых вычислений — результат проверили в Lean
Иллюстрация: Tarasov Code

Коротко

  • Что: Искусственный интеллект решил 18-летнюю проблему квантовых вычислений — результат проверили в Lean
  • Когда: 8 ноября 2026 в 16:10
  • Источник: iXBT (сми)
  • Тема: Модели

#Модели

Материал подготовлен редакцией Tarasov Code Ильи Тарасова по сообщению iXBT.

Читайте также

Хабр · NLP · 8 ноября 2026Можно ли заменить системный промпт начальным состоянием? Эксперименты на RWKV-7Хабр · Искусственный интеллект · 8 ноября 20268 интересных способов использования GPT-6 Astra, про которые знают не всеХабр · Машинное обучение · 8 ноября 2026Пять слоёв памяти ИИ-ассистента: что реально работает в проде, а что осталось в библиотекеХабр · Искусственный интеллект · 8 ноября 2026[Перевод] Claude Code unbiased