ИИ решает открытую проблему 20-летней давности за 30 минут; Проверка занимает 5 дней
Исследователь Димитрис Папаилиопулос сообщает, что GPT-5.6 и Claude Fable 5 решили давний вопрос обнаружения MIMO (множественный вход, множественный выход), предоставив полиномиальный алгоритм при оптимальном пороге. Первое доказательство было сгенерировано за 30 минут, но его проверка заняла пять дней, что подчеркивает проверку как узкое место.
Димитрис Папаилиопулос, ученый из Microsoft Research, использовал GPT-5.6 и Claude Fable 5, чтобы закрыть вопрос, открытый с 2001 года: можно ли решить проблему детектирования MIMO с помощью быстрого полиномиального алгоритма везде, где это статистически возможно. Модели независимо утверждали, что разрыва не существует, и предоставили доказательства для разных алгоритмов. Папаилиопулос выбрал
Показать ещё ↓
Источник: Habr — хаб ИИ —
оригинал