ИИ от OpenAI перекрыл 36 лет прогресса в матричном умножении

Описание: 📬 Бесплатный еженедельный обзор ИИ и математики → https://ademb10.com/?ref=matrix-multi...

В течение 36 лет наилучшая оценка скорости умножения больших матриц практически не менялась: с 2,3755 в 1990 году до 2,371177 в августе 2026 года. 6 октября OpenAI опубликовала результат своей внутренней модели, который доводит его до 2,25 (9/4), с 13-страничным доказательством и упрощенным доказательством, проверенным компьютером. Это утверждение еще не прошло рецензирование, и сегодня оно не ускорит ничего: прирост наблюдается только для матриц, слишком больших для любого компьютера.

⏱ Разделы
0:00 Прыжок Боба Бимана в длину
1:20 Что подсчитывается?

2:19 36 лет записей
3:28 83 страницы, затем 13
4:35 Стоит ли этому верить?

5:38 Это ускоряет работу ИИ?

7:22 Заключение

🔗 Источники
Статья от 9/4 (2 октября 2026 г., 13 страниц): https://github.com/openai/math/blob/m...
Статья 2.258 (24 сентября 2026 г., 83 страницы) и остальные препринты OpenAI: https://github.com/openai/math/tree/m...
Заметка OpenAI о масштабе Lean для задачи 107: https://github.com/openai/math/blob/m...
Внешняя переработка проверки Lean: https://github.com/erenciracioglu-dot...
Стивена Строгаца пост: https://x.com/stevenstrogatz/status/2...
Scientific American, с цитатой Вирджинии Василевской Уильямс: https://www.scientificamerican.com/ar...
Таблица рекордов: Википедия, «Вычислительная сложность умножения матриц» (пока не указана 2,25)
Какие результаты подтвердились (Цви Мовшовиц): https://thezvi.substack.com/p/new-mat...

Что проверено, а что нет: доказательство Лина охватывает версию с комплексными числами (ω ≤ 9/4 над ℂ). Компьютер проверил его; ни один математик еще не рассматривал аргумент. В самой статье говорится, что в ней не указан конкурентоспособный конечный размер матрицы.

🎙 Благодарности
Фото Стивена Строгаца: User:Strogatz, CC BY-SA 4.0, через Wikimedia Commons.
Фото Фолькера Штрассена: Конрад Якобс (Фотоколлекция Обервольфаха), CC BY-SA 2.0 de, через Wikimedia Commons.
Фото Вирджинии Василевской Уильямс: Катрин Шмид (Фотоколлекция Обервольфаха), CC BY-SA 2.0 de, через Wikimedia Commons.
Музыка: "Wholesome" Кевина Маклеода (incompetech.com), лицензирована по Creative Commons: By Attribution 4.0 — http://creativecommons.org/licenses/b...
Всё остальное — наш рисунок.

#Математика #ИИ #УмножениеМатриц #OpenAI #Lean