Математик из Гарварда Левант Алпёге (Levent Alpöge) с помощью искусственного интеллекта нашел контрпример к гипотезе Якоби (Jacobian conjecture), которая оставалась нерешенной на протяжении 87 лет. Использование ИИ для решения этой фундаментальной задачи знаменует качественный переход от генерации текстов к решению сложных логических задач в абстрактных науках.
Что произошло
С помощью ИИ исследователь Левант Алпёге смог опровергнуть гипотезу Якоби, представив лаконичное доказательство длиной всего 216 символов. Этот прорыв в области математических рассуждений (reasoning) позволил найти конкретный контрпример к предположению, которое не поддавалось решению с 1939 года.
Контекст
Гипотеза Якоби на протяжении десятилетий считалась одной из сложнейших нерешенных проблем в математике. Достижение Алпёге демонстрирует способность современных моделей работать в областях с экстремально высокой степенью абстракции и строгими требованиями к логической корректности, где ошибка недопустима.
Почему это важно для индустрии
Для индустрии ИИ это сигнал о переходе от создания контента к созданию полноценных инструментов для науки (scientific agents). Это открывает путь к развитию DeepTech-стартапов, ориентированных на формальную верификацию гипотез, и меняет экономику R&D за счет использования ИИ как adversarial agent для проверки научных теорий.
Почему это важно для пользователей
Для ученых и исследователей ИИ становится полноценным научным соавтором (co-pilot), способным находить ошибки в многолетних гипотезах и предлагать компактные математические структуры. Это меняет парадигму использования LLM: теперь они рассматриваются как надежные инструменты для работы в областях, требующих сверхвысокой строгости рассуждений.
Источники
Автор
Look at AI, редакция