ИИ решил 87-летнюю гипотезу Якобиана, вызвав беспокойство математиков
Материал подготовлен искусственным интеллектом на основе нескольких источников — ссылки на оригиналы приведены ниже.
Модель ИИ решила гипотезу Якобиана, нерешенную с 1939 года; результат был проверен и объявлен сотрудником Anthropic Левантом Альпёге. Прорыв, собравший более 20 миллионов просмотров в X, вызвал у математиков смесь восхищения и тревоги: ИИ находит ответы, не давая понятных человеку объяснений.
Прорыв
В воскресенье модель ИИ решила гипотезу Якобиана, основанную на работе немецкого математика Отта-Генриха Келлера 1939 года. Результат, проверенный к понедельнику, был объявлен сотрудником Anthropic Левантом Альпёге и собрал более 20 миллионов просмотров в X. Кевин Баззард из Имперского колледжа Лондона назвал это "большим днём" для математики.
Реакция математиков
Это достижение — последнее в серии прорывов ИИ с середины 2025 года, включая решение пяти из шести задач Международной математической олимпиады и опровержение 80-летней гипотезы Эрдёша. В июне 16 исследователей из 15 университетов опубликовали Лейденскую декларацию, призывающую к ограничениям на роль ИИ в математике. Математики сообщают о смеси страха и восхищения, поскольку ИИ закрывает задачи, недоступные человеческому пониманию.
Пробел в объяснениях
Хотя результат верен, ИИ даёт "как", но не "почему", отметил математик Чикагского университета Ахил Мэтью, предложивший задачу Альпёге. Определитель Якобиана остаётся постоянным −2 везде, но отправляет три разные начальные точки в одно место, опровергая гипотезу. Мэтью добавил, что было бы желательно получить объяснение, понятное человеку.
Что дальше
Математическое сообщество планирует обсудить последствия на предстоящих конференциях, включая Международный конгресс математиков в 2027 году. Остаётся неясным, продолжит ли ИИ опережать математиков-людей или появятся новые рамки для проверки и объяснения.
2 источника
ИИ решил 87-летнюю гипотезу Якобиана, вызвав беспокойство математиков
