ИИ опроверг одну математическую гипотезу, дважды побил рекорд и замахнулся на проблему, стоявшую с 1947 года – все это за считанные дниПонедельник 24 августа 2026 года выглядит примерно так:
– Математик Anthropic Левент Альпёге в соавторстве с Авой Хауэлл, предположительно используя новую версию Claude Fable,
поднял рекорд ранга эллиптических кривых до 30. Таблицу рекордов ведут с 1938 года, последнее улучшение до 29 заняло у ученых 18 лет.
Впечатляющий результат, но Альпёге этого видимо показалось мало, поэтому уже через три дня команда
предъявила новую кривую с рангом не ниже 31. Влиятельная эвристика 2019 года предсказывает: ранги ограничены, рекорды однажды закончатся. Каждая новая кривая – удар по ней.
– Даниэль Кресснер и Барт Вандерейкен с помощью GPT-5.6
опровергли гипотезу о симметричном максимайзере (операторы Ляпунова). Модель сама спроектировала поиск – вплоть до выбора оптимизатора и настроек. Люди перепроверили находку точной арифметикой и достроили доказательство для всех размерностей от 7. Гипотеза небольшая, но к ней мы еще вернемся.
– Ну и главная история. 19 августа Саймон Брендл и Пей-Кен Хунг
опровергли первую гипотезу Хопфа (1930-е), построив на S²×S² метрику положительной кривизны, которой по гипотезе быть не должно. Сделано людьми, без ИИ.
В ответ Альпёге признался в X: он с Claude готовил собственную конструкцию, но не успел – и добавил, что для него честь "быть размазанным" Брендлом.
Впрочем, уже в ночь на понедельник Альпёге
заявил решение второй гипотезы Хопфа (1947): шестимерная сфера S⁶ допускает комплексную структуру. На этой задаче сломались гиганты: Черн анонсировал ответ “нет” в 93 года и умер, не завершив доказательство; “нет” Атьи от 2016-го сообщество не приняло. Теперь на столе “да” размером в 100+ страниц.
Самое важное: перед нами заявка, а не решение. У рекордов рангов, гипотезы Ляпунова и большинства прошлых ИИ-открытий (вплоть до якобиана) проверка простая – специалист справится за минуты.
С проблемой 1947 года иначе: проверка сложная, и Альпёге сам попросил сообщество о независимой экспертизе. Если кому-то интересно, то я
разобрал его решение с помощью GPT-5.6 Pro, вердикт модели: это “очень содержательная заявленная конструкция, заслуживающая серьёзной проверки”, но пока не “установленная теорема”.
Финальное слово скажут математики – несколько серьезных специалистов уже вызвались. А пока несколько моих наблюдений:
Начинает происходить то, о чем
писал Теренс Тао – скорость решения ИИ в некоторых случаях упирается в скорость проверки. Где можно справиться за минуты, темпы взрывные, где проверка долгая – ИИ может даже создавать проблемы, перегружая проверяющих работой.
Сообщество при этом критикует Альпёге за две вещи. Во-первых, он работает на закрытой версии Claude, недоступной остальным, – уже звучит слово "допинг". Во-вторых, манера: серьезные результаты анонсируются парой твитов, без промптов и цепочек рассуждений. Даже по якобиану свой препринт Альпёге так и не выпустил – оформляли уже другие.
Спешку понять можно: модели Anthropic и OpenAI примерно равны, не опубликуешь сегодня – завтра опубликуют конкуренты. Но можно понять и сообщество, привыкшее работать над проблемой десятилетиями.
Наконец, я не зря выделил гипотезу Ляпунова: пусть она и существует с 1987 года, но это “небольшая” проблема, над которой работали несколько групп. Таких гипотез тысячи, именно из них во многом соткана повседневная математика – и на них катастрофически не хватало ресурсов. Возможно, отдельную пользу ИИ мы увидим именно здесь.
Традиционно я заканчиваю пост советом переложить эти прорывы на повседневную практику. Задумайтесь – вдруг у вас есть какие-то проблемы и задачи, “небольшой” важно, на которые катастрофически не хватало времени? Возможно, стоит выбрать 1-2 и попробовать решить с помощью ИИ-агента.
—
Как выжимать максимум из ИИ, я рассказываю на “Бусти”. Там про то, как правильно писать промпты, избавляться от промт-долга, строить ИИ-агентов и управлять нейронками не хуже, чем это делают создатели Claude Code.
Самое время подписаться!