Якобіанова гіпотеза спростована — переконливий контрприклад знайшов математик Levent Alpöge за допомогою Claude Fable 5

Гіпотеза Якобі

Гіпотеза Якобі — одна з центральних проблем алгебричної геометрії. Вперше її сформулював Людвіг Краус для двох змінних у 1884 році, а узагальнив на довільну кількість змінних Отт-Генріх Келлер у 1939 році . Гіпотеза стверджує: якщо поліноміальна функція F: ℂⁿ → ℂⁿ має визначник Якобі (тобто визначник матриці її частинних похідних), який всюди є ненульовою сталою, то F обов'язково є поліноміальним автоморфізмом — тобто має поліноміальний обернений оператор і тому є бієктивним відображенням . Такі відображення називають відображеннями Келлера. У 1998 році Стівен Смейл включив цю гіпотезу під номером 16 до свого списку «Математичних проблем наступного століття»; вона також була сумно відома великою кількістю помилкових доведень .

Як Levent Alpöge використав Claude Fable 5

У ніч із 19 на 20 липня 2026 року, спостерігаючи за фіналом Клубного чемпіонату світу з футболу, математик Левент Альпьоге — фахівець із теорії чисел, який працює в Anthropic після стипендії молодшого науковця в Гарвардському товаристві стипендіатів — почув запитання про гіпотезу Якобі від свого друга на ім'я Ахіл Метью . Альпьоге звернувся до моделі Anthropic Claude Fable 5 з проханням попрацювати над проблемою. Модель повернула конкретне поліноміальне відображення з 216 символів, яке задовольняло умову сталого ненульового визначника Якобі, але не було ін'єктивним, що суперечило висновку гіпотези .

Альпьоге опублікував результат у соцмережі X 19 липня 2026 року з таким повідомленням: «Привіт, гіпотеза Якобі хибна, дякую моєму близькому другу Ахілу за запитання та моєму іншому близькому другу Фейблу за роботу під час фіналу Кубка світу» .

Конкретний контрприклад

Контрприклад — це поліноміальне відображення F: ℂ³ → ℂ³, явно задане так :

P(x, y, z) = (1 + xy)³z + y²(1 + xy)(4 + 3xy)
Q(x, y, z) = y + 3x(1 + xy)²z + 3xy²(4 + 3xy)
R(x, y, z) = 2x − 3x²y − x³z

Дві ключові властивості цього відображення :

• Визначник Якобі: det Jac F = −2 (ненульова стала), тобто F є відображенням Келлера.
• Неін'єктивність: три різні точки простору відображаються в один і той самий образ (−1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

Оскільки неін'єктивне відображення не може мати поліноміального (чи будь-якого іншого) оберненого оператора, це відображення суперечить гіпотезі Якобі. Побудова справедлива над будь-яким полем характеристики нуль, адже всі коефіцієнти та точки свідків є раціональними числами .

Супутній препринт (датований 20 липня 2026 року) наводить повну алгебричну верифікацію, визначає глобальну геометрію відображення F і доводить, що множина його неправильності є гіперповерхнею — саме це й заважає відображенню бути поліноміальним автоморфізмом . У роботі також наведено цілі сімейства подібних контрприкладів .

Статус випадку двох змінних

Гіпотеза Якобі для n = 2 (дві комплексні змінні) залишається відкритою проблемою станом на липень 2026 року. Контрприклад спростовує гіпотезу лише для розмірностей n ≥ 3 .

Поточний статус верифікації та рецензування

Станом на 22 липня 2026 року відомо таке:

• Математична достовірність: Контрприклад явний і механічно перевіряється. Математики ставляться до нього серйозно . Формальну верифікацію в системі Lean 4 виконано, і вона проходить перевірки безперервної інтеграції .
• Рецензована публікація відсутня: Станом на останні звіти не існує опублікованої рецензованої статті чи препринту на arXiv . Матеріал існує у вигляді допису в соцмережі та супровідного PDF-документа на ulam.ai, але не пройшов формальної журнальної рецензії.
• Wikipedia оновлено: Сторінка Вікіпедії про гіпотезу Якобі тепер містить інформацію про контрприклад, який спростовує гіпотезу для N > 2 .
• Оцінка спільноти: Консенсус коментаторів полягає в тому, що математична частина майже напевно правильна, проте формальне визнання та цитування в офіційних джерелах все ще очікуються . Результат вважається плодом людино-машинної співпраці, а не роботою Клода як автономного агента .

Підсумок: Гіпотеза Якобі, ймовірно, справді хибна для розмірностей ≥ 3. Випадок двох змінних залишається відкритим. Контрприклад математично обґрунтований і пройшов незалежну перевірку, але ще не завершив формального рецензування.