СТРАНИЦЫ
| Название | Дата |
|---|---|
| AI Disproves the "Jacobian Conjecture" | Yesterday, 21:30 9 часов и 5 минут |
|
|
Математик Левент Алпоге в сотрудничестве с ИИ-моделью Claude Fable 5 опроверг 87-летнюю «Гипотезу якобиана» (Jacobian Conjecture), найдя контрпример для трехмерного пространства. Представленная формула, опубликованная в соцсети X, доказывает, что функция с постоянным якобианом может быть необратимой, что меняет представление об использовании ИИ в фундаментальной науке.
Опровержение «Гипотезы якобиана» с помощью ИИ означает фундаментальный прорыв сразу в двух областях: в высшей математике (решена загадка, над которой бились 87 лет) и в сфере искусственного интеллекта (доказано, что ИИ способен к настоящему научному творчеству и поиску скрытых закономерностей, а не просто к автоматизации рутины) [180989189].
Ниже подробно разобрано, что именно произошло и почему это так важно.
1. Что такое гипотеза якобиана? (Простыми словами)
Представьте, что у вас есть сложная математическая функция (система уравнений), которая преобразует одни геометрические объекты в другие — например, растягивает, сжимает или скручивает пространство.
В математике есть инструмент под названием «Якобиан» (матрица Якоби и ее определитель). Он показывает, насколько сильно функция изменяет объем и форму пространства в каждой конкретной точке.
- Суть гипотезы: Еще в 1939 году немецкий математик Отт-Генрих Келлер предположил: если функция является многочленом (полиномом) и ее якобиан равен константе (то есть объем пространства везде меняется одинаково и предсказуемо), то эта функция обязательно имеет обратную функцию.
- Что такое обратная функция: Это значит, что вы можете «отмотать» изменения назад и точно вернуться в исходную точку. Преобразование идет строго «один к одному», без наложений и склеек.
Для одномерного пространства (обычная линия) это очевидно и легко доказывается. Но для двух, трех и более измерений доказать или опровергнуть это предположение математики не могли почти 90 лет.
2. Что именно сделали математик и ИИ?
Математик Левент Алпоге (Levent Alpoge) из Гарварда и ИИ-модель Claude Fable 5 доказали, что гипотеза была неверна для трехмерного пространства [180989189].
Они нашли так называемый контрпример [180989189]. Они сконструировали невероятно сложную трехмерную полиномиальную функцию, у которой:
- Якобиан равен константе (условие гипотезы соблюдено).
- При этом функция не имеет обратной. Она «склеивает» разные точки пространства вместе, и вернуться назад однозначно нельзя.
Сама формула этого контрпримера настолько огромна и сложна, что человеческий мозг просто не способен удержать её в уме и просчитать все комбинации, чтобы убедиться в отсутствии скрытых ошибок.
3. Почему это исторический прорыв для ИИ?
До этого момента искусственный интеллект в математике использовался в основном как «суперкалькулятор» или «проверяльщик»:
- Человек выдвигал идею или писал доказательство.
- ИИ проверял код или перебирал миллионы готовых вариантов (брутфорс).
В данном случае ИИ выступил как полноценный соавтор. Поиск контрпримера в многомерном пространстве — это не просто перебор чисел. Это поиск иголки в бесконечном стоге сена, где нужно проявлять математическую интуицию и изобретать новые формы уравнений. ИИ смог сгенерировать структуру, которую люди не могли нащупать десятилетиями [180989189].
4. Каковы последствия для науки?
- Для математики: Это закрывает целую эпоху исследований. Теперь ученым не нужно тратить силы на попытки доказать гипотезу якобиана для 3D и более высоких измерений — путь закрыт, она там не работает [180989189]. Теперь математики будут изучать свойства найденного ИИ исключения. Для 2D-пространства (на плоскости) гипотеза, к слову, все еще остается открытой.
- Для технологий: Это меняет статус ИИ. Модели доказали свою применимость в фундаментальной науке [180989189]. Это значит, что в ближайшие годы мы увидим лавину открытий в физике, химии и материаловедении, где ИИ будет находить новые молекулы, законы и контрпримеры, которые ранее казались человеку немыслимыми.
Где находится ИИ?ИИ находится строго в нашей физической реальности, на кремниевых чипах в дата-центрах.Его «мышление» — это сложнейшая статистическая симуляция. Он не «понимает» реальность так, как человек, и не обладает сознанием. Он видит математику как огромный лабиринт и, благодаря эмерджентным свойствам своей архитектуры, умеет находить в этом лабиринте кратчайшие пути к ответам.