Главное
- Проблема: гипотеза Кэннона — центральная проблема геометрической теории групп: если граница на бесконечности гиперболической группы топологически является двумерной сферой, обязательно ли группа геометрически действует на трёхмерном гиперболическом пространстве? Почти 40 лет никто не предъявил полного доказательства.
- Что сделал ИИ: внутренняя передовая модель OpenAI выдала 31-страничное доказательство под названием «A Modulus Proof of Cannon's Conjecture» (датировано 23 сентября 2026 года). В его основе метод комбинаторного модуля (combinatorial modulus): установлена «равномерная оценка модуля границы», которую предшественникам доказать не удалось, а рассуждение завершено с помощью геометрии границы, непрерывных предельных функций и двух доказательств от противного.
- Проверяемо машиной: к статье приложена формализованная версия в Lean, формулировки теорем которой может проверить машина; это ключевое отличие математических результатов ИИ от традиционных рукописей.
Комментарий
Доказательство гипотезы Кэннона — один из самых геометрических по содержанию отдельных результатов среди 722 рукописей, опубликованных пакетом 6 октября. Оно показывает не просто, что ИИ «быстро считает», а что он способен в сильно структурированной области чистой математики строить ключевые леммы, на которых застряли эксперты-люди. Тем не менее, пока независимые математики не завершили проверку, это остаётся «заявленным доказательством», но наличие версии в Lean даёт проверке исходную точку, исполнимую машиной.
Ссылка на оригинал: Cannon Conjecture: OpenAI's Breakthrough Proof Of 3D Geometry. Текст является кратким изложением и приведён только для справки.
