Кінець епохи гіпотези Якобіана

В основі сучасної алгебри лежать питання про те, як функції трансформують простір і чи можливо ці трансформації повернути назад. Гіпотеза Якобіана десятиліттями залишалася одним із найінтригуючих викликів у цій галузі. Її суть зводиться до протиріччя між локальним та глобальним: якщо функція поводиться «правильно» та є оберненою в кожній окремій точці простору, чи означає це, що вона є оберненою у всьому своєму об’ємі?

Для розуміння цього механізму варто звернутися до матриці Якобі — таблиці часткових похідних функції, яка фактично слугує картою того, як мікроскопічні зміни на вході впливають на результат. Якщо визначник цієї матриці ніколи не дорівнює нулю, функція є локально оберненою. Математики майже дев'ять десятиліть намагалися довести, що така локальна стабільність автоматично гарантує існування глобальної оберненої функції, яка дозволяє однозначно відновити вихідні дані.

Розрив цього багаторічного консенсусу став неочікуваним. Система Claude Fable 5 запропонувала конструкцію поліноміального відображення простору розмірності три в себе, яка виглядає як бездоганний контрприклад. У цій моделі дотримано всіх формальних вимог гіпотези: визначник якобіана залишається постійним і не дорівнює нулю, що забезпечує локальну оберненість. Однак на глобальному рівні система дає збій — кілька різних вхідних точок призводять до одного й того самого результату. Коли різні стани зливаються в один, відновити вихідну точку стає неможливо, що фактично спростовує тезу про глобальну оберненість.

Особливість цього відкриття полягає в його верифікованості. На відміну від багатосторінкових теоретичних доведень, що потребують місяців експертного аналізу, контрприклад є конкретною формулою. Щоб підтвердити результат, достатньо використати системи комп'ютерної алгебри: обчислити якобіан, перевірити його визначник і підставити запропоновані точки. Це перетворює математичне відкриття на перевірений обчислювальний об'єкт.

Проте проблема не вирішена остаточно. Спростування спрацювало для просторів розмірності три і вище. Двовимірний випадок досі залишається відкритим, що означає: гіпотеза Якобіана не зникла повністю, а розділилася на різні сценарії залежно від розмірності простору.

Значущість цієї події підкреслюється масштабом особистостей, які намагалися штурмувати цю задачу. Над нею працювали видатні розуми сучасності, зокрема ті, хто пізніше здійснив прориви в теорії простих чисел. Той факт, що задача, яка чинила опір найкращим математикам століття, була «зламана» алгоритмом, змінює наше уявлення про когнітивні здібності ШІ.

Раніше досягнення систем на кшталт AlphaGeometry або AlphaProof сприймалися як тріумф формальної логіки та здатності слідувати правилам. Однак пошук контрприкладу — це принципово інший процес. Це не просто розв'язання задачі за інструкцією, а творчий пошук помилки в самій структурі твердження. Знайти контрприклад означає виявити, що десятиліття людських зусиль були спрямовані на доведення хибної тези.

Головним питанням залишається ступінь автономності цього процесу. Поки незрозуміло, чи була структура контрприкладу запропонована моделлю самостійно, чи вона виступила в ролі високоефективного фільтра для перебору варіантів. Якщо виявиться, що ШІ самостійно досліджував простір можливих конструкцій і вивів формулу, ми станемо свідками народження нової парадигми наукових досліджень.

Наразі результат очікує на незалежну перевірку математичною спільнотою. Необхідно переконатися у відсутності прихованих помилок у визначенні відображення та коректності інтерпретації розмірностей. Якщо перевірка підтвердиться, цей випадок стане одним із найяскравіших прикладів того, як штучний інтелект здатен рухати фундаментальну науку вперед, знаходячи відповіді там, де людська інтуїція зайшла в глухий кут.