То, что ИИ каждый день доказывает или опровергает открытые гипотезы, находит новые доказательства теорем, усиливает или обобщает существующие уже стало обыденностью.

Только на этой неделе я нашел 7 примеров, а сегодня ведь только четверг:

- Гипотеза Якобиана - опровергнута контрпримером в размерности 3, найденным с помощью Claude Fable 5; двумерный случай остаётся открытым.
- Гипотеза о гауссовых моментах - опровергнута явными контрпримерами для всех размерностей n≥3, найденными с помощью ChatGPT и Claude.
- Гипотеза Балабдауи - Веллнера о плотности Чернова - доказана полностью сгенерированным GPT-5.6 Sol доказательством.
- Гипотеза Каваути по модулю 4 - доказана при помощи Claude Fable 5.
- Гипотеза Черны для однокластерных автоматов положительного уровня - доказана при помощи OpenAI Codex.
- Теорема об улучшенной сходимости стохастического многоградиентного спуска - AI-найденное доказательство улучшило оценку скорости сходимости до O(T^-1)
- Теорема о спектральном крае квартичной модели SYK - доказана при существенной помощи GPT-5.6 в разработке аргументов.

Вот сегодняшний пример (30+ летняя гипотеза, контрпример к которой был найден сегодня), автор поделился полным транскриптом чата с GPT. Что примечательно, это не был какой-то гениальный промт (хоть автор и золотой медалист IMC), а по сути 4-5 запросов подряд из серии "тебе нужно сделать прорыв и найти контрпример", "найди наиболее неочевидный контрпример".