Содержание
Claude Fable помог опровергнуть гипотезу Якобиана
Математик Левент Алпёге опубликовал явный контрпример к гипотезе Якобиана — открытой задаче алгебраической геометрии, сформулированной ещё в 1939 году. По словам Алпёге, нужную конструкцию нашла модель Claude Fable 5 после вопроса его коллеги Ахила.
Что именно нашёл Claude
Гипотеза утверждала: если полиномиальное отображение комплексного пространства имеет постоянный ненулевой якобиан, у него должен существовать полиномиальный обратный оператор. Представленная конструкция имеет постоянный якобиан −2, но переводит три разные точки в одну и ту же. Значит, отображение не является взаимно однозначным и обратной функции у него быть не может.
Главное отличие этой новости от обычного заявления о «решённой AI задаче» — результат можно проверить напрямую. Здесь нет длинного доказательства с неочевидными переходами: достаточно вычислить определитель якобиана и подставить указанные точки. Независимые разработчики уже перенесли контрпример в Lean и получили машинно проверяемую формализацию, включая вариант над комплексными числами.
Почему это важно для развития AI
Если результат выдержит дальнейшую академическую проверку, он закроет задачу, над которой математики работали более 85 лет. При этом Claude выступил не только как помощник для оформления или проверки готовой идеи, а как инструмент поиска конкретной математической конструкции.
Для пользователей и бизнеса это показательный сдвиг: сильные модели всё чаще дают ценность там, где ответ можно автоматически проверить — в математике, программировании, проектировании и анализе данных. Связка «AI генерирует гипотезу, специализированный инструмент проверяет результат» снижает риск галлюцинаций и превращает модель в практический исследовательский инструмент.
Что пока остаётся неизвестным
На момент публикации нет полноценной рецензируемой статьи и подробного разбора того, как именно Claude пришёл к конструкции. Поэтому корректнее говорить о публичном, независимо проверяемом контрпримере, а не о завершённом академическом процессе. Но сама формула уже доступна, а её ключевые свойства воспроизводятся формальными и символическими средствами.