RAG | Нейросети | ИИ | AI | Агенты | Mistral Large 4 | DeepSeek | Qwen 27B | GLM-5.3 | Kimi K3 | GPT-6 Astra
IT и технологии · 10 августа 2026 г.
25 лет математики бились над MIMO-детекцией: могут ли быстрые алгоритмы достичь теорети...
25 лет математики бились над MIMO-детекцией: могут ли быстрые алгоритмы достичь теоретического предела? GPT-5.6 решил задачу за полчаса. Димитрис Папайлиопулос (Microsoft Research) описал проблему — модель выдала доказательство через projected gradient descent. А потом пять дней верификации. Прямая цитата автора: «читаю лемму и забываю связь. Я сейчас заплачу». Модель собрала пазл быстрее, чем человек способен убедиться, что он не рассыпается. Пока без рецензирования.
51 просмотров