ИИ совершает прорывы в доказательстве математических гипотез

То, что ИИ каждый день доказывает или опровергает открытые гипотезы в математике уже стало обыденностью. Только на этой неделе я нашел 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 запросов подряд из серии "тебе нужно сделать прорыв и найти контрпример", "найди наиболее неочевидный контрпример".