Математик Левент Алпёге (Levent Alpöge) использовал модель Fable 5 от Anthropic для опровержения гипотезы Якоби (Jacobian conjecture), которая оставалась нерешенной в алгебраической геометрии почти 90 лет.
Что произошло
Используя вычислительную мощь модели Fable 5 от Anthropic, исследователь нашел конкретный контрпример среди огромного массива многочленов. Это позволило опровергнуть гипотезу Якоби, которая десятилетиями считалась фундаментальной проблемой математики.
Контекст
Гипотеза Якоби была одной из ключевых нерешенных проблем в алгебраической геометрии на протяжении почти века. Традиционные методы поиска контрпримеров в таких сложных математических структурах часто оказываются неэффективными из-за колоссального пространства поиска.
Почему это важно для индустрии
Этот случай подтверждает переход frontier-моделей от генерации текста к выполнению задач научного поиска (discovery). Модели становятся мощными вычислительными движками для работы в пространствах с высокой комбинаторной сложностью, что открывает новые рынки в области автоматизированного R&D и научного поиска.
Почему это важно для пользователей
ИИ все чаще переходит от создания контента к решению фундаментальных научных задач. Для исследователей это означает появление новых инструментов, способных находить ошибки в многолетних теориях через сверхбыстрый перебор вариантов, недоступный человеку.
Что пока неизвестно / ограничения
Результат считается обладающим низкой научной ценностью для понимания самой сути проблемы, так как модель не представила логического вывода или структурного объяснения, а лишь нашла контрпример методом перебора, работая как «черный ящик».
Источники
Автор
Look at AI, редакция