Символьная проверка через Codex бьёт по гипотезе Якоби

Опубликован независимый символьный разбор полиномиального отображения из ℂ³ в ℂ³, приписываемого Левенту Альпоге. Точный расчёт даёт постоянный определитель Якоби, равный −2, при этом три различные точки отображаются в одну (−¼, 0, 0). Такое сочетание противоречило бы гипотезе Якоби над ℂ, если формулы перенесены корректно.

Прямое исключение показывает ровно эти три комплексных решения и никаких других. Проверка написана на SymPy с точными целыми и рациональными числами, без плавающей точки: скрипт report.py пересобирает отображение, факторизует определитель и решает систему.

Запуск выполнен на Python 3.14.6 и SymPy 1.14.0, для файла указан контрольный SHA-256. Автор подчёркивает, что веб-пост и вывод терминала не заменяют независимого перезапуска и экспертной проверки.