Ещё одна столетняя гипотеза пала.
Математик из Anthropic/Гарварда Левент Альпёге совместно с Claude прямо опроверг гипотезу Каратеодори, которая мучила математическое сообщество более 100 лет, попутно разбив и гипотезу о показателе Лёвнера.
PDF-файл циркулировал в математических кругах целую неделю. Теперь он официально опубликован.
Это не первый раз, когда Альпёге и Claude совместно устраивают переполох. Во время чемпионата мира он уже представил контрпример к трёхмерной гипотезе якобиана, потрясший математическое сообщество.
О чём же говорила эта столетняя гипотеза
Сначала о самой гипотезе Каратеодори.
В 1924 году немецкий математик Ханс Людвиг Гамбургер предложил в дифференциальной геометрии гипотезу, названную в честь греческого математика, его научного руководителя, Константина Каратеодори.
Эта гипотеза утверждает, что в трёхмерном евклидовом пространстве любая выпуклая, замкнутая и достаточно гладкая поверхность обязательно имеет как минимум две омбилические точки.
Константин Каратеодори
Гипотеза очень лаконична, но чрезвычайно сложна для доказательства: любая достаточно гладкая замкнутая выпуклая поверхность имеет как минимум две «омбилические точки».
Омбилическая точка, упрощённо говоря, — это точка на поверхности, где «степень кривизны во всех направлениях совершенно одинакова».
В дифференциальной геометрии трёхмерных поверхностей омбилическая точка — это точка, где поверхность локально сферична: все нормальные кривизны в ней равны, следовательно, равны две главные кривизны, и каждый касательный вектор является главным направлением.
Каждая точка на сфере — омбилическая: куда бы вы ни провели рукой, кривизна будет одинаковой.
Каратеодори утверждал: как бы вы ни сжимали, ни деформировали выпуклую поверхность, если она достаточно гладкая, невозможно оставить на ней только одну омбилическую точку. Их должно остаться как минимум две.
На интуитивном уровне эта гипотеза кажется очень «правильной».
Сфера имеет бесконечно много омбилических точек, эллипсоид — две.
За сто лет множество математиков пытались, но никому не удалось построить гладкое выпуклое тело всего с одной омбилической точкой.
Параллельно существовала гипотеза Лёвнера — индекс изолированной омбилической точки не превышает 1. Две гипотезы взаимно поддерживали друг друга, вот уже сто лет, словно пара железных замков, запирая целую область дифференциальной геометрии.
Теперь замок взломан. В этом открытии обнаружилось, что если выпуклая поверхность слишком гладкая (математически говоря, C∞, бесконечно дифференцируема), Левент Альпёге нашёл выпуклую поверхность всего с одной омбилической точкой.
Один контрпример — два павших предположения
Альпёге и Джон-Пол Смит дали чрезвычайно конкретную конструкцию.
Они определили семейство функций g_k, где при k=2 функция g2, выступающая в качестве опорной функции сферы, соответствует выпуклому телу, которое создаёт в начале координат омбилическую точку с индексом 2.
Обратите внимание: индекс 2 уже прямо нарушает верхний предел в 1, установленный гипотезой Лёвнера.
Что ещё важнее, благодаря наличию экспоненциально затухающего члена, g2 математически гарантирует гладкость C∞ — то есть, это выпуклое тело удовлетворяет всем условиям гладкости, требуемым гипотезой Каратеодори.
Но у него всего одна омбилическая точка.
Гипотеза Каратеодори требует как минимум двух омбилических точек, но контрпример даёт одну — гипотеза опровергнута.
Гипотеза об индексе Лёвнера требует, чтобы индекс омбилической точки был равен 1, но здесь он равен 2 — она также опровергнута.
Явный, поддающийся проверке контрпример покончил с двумя гипотезами, просуществовавшими более ста лет.
В математике, чтобы опровергнуть гипотезу, достаточно одного контрпримера. Но найти этот контрпример может быть сложнее, чем доказать саму гипотезу.
Новая норма в математике
Оглядываясь на последние месяцы:
Новый рекорд Claude в гипотезе Римана — увеличение нижней границы доли нулей с 41,6% до 67,2%, в то время как человечество за 37 лет продвинулось всего на 0,8%.
OpenAI массово представила 10 достижений в математике и теоретической информатике.
Альпёге последовательно использует Claude для опровержения нескольких классических гипотез.
Новый лауреат Филдсовской премии объявляет о присоединении к OpenAI.
Намечается новая тенденция.
ИИ больше не просто калькулятор математика. Он превращается в «дополнение интуиции» математика — открывая новые пути с помощью перебора и конструктивных возможностей там, где человеческая интуиция отказывает.
Столетние гипотезы разрушены не более мощным человеческим разумом. Их разрушила новая парадигма сотрудничества человека и машины.
Эта парадигма продолжит разрушать и другие гипотезы. Вопрос лишь в том, какая падёт следующей.
Источники:
https://x.com/haider1/status/2090034966717677902
https://x.com/alpoge/status/2089971359921156203
https://en.wikipedia.org/wiki/Carath%C3%A9odory_conjecture
Статья из официального аккаунта WeChat «Новый век интеллекта», автор: Откровения ИИ
