Hipoteza Jakobianu obalona? Przełomowy kontrprzykład znaleziony przez AI i matematyka

W nocy z 19 na 20 lipca 2026 roku, podczas oglądania finału Klubowych Mistrzostw Świata FIFA, matematyk Levent Alpöge — specjalista od teorii liczb pracujący w Anthropic, wcześniej stypendysta w Harvard's Society of Fellows — został zapytany o hipotezę Jakobianu przez znajomego o imieniu Akhil Mathew . Alpöge zwrócił się do modelu Claude Fable 5 firmy Anthropic z prośbą o rozwiązanie problemu. Model zwrócił konkretne, 216-znakowe odwzorowanie wielomianowe, które spełnia warunek stałego, niezerowego Jakobianu, ale nie jest różnowartościowe (injektywne), tym samym naruszając tezę hipotezy .

Alpöge opublikował wynik na platformie X 19 lipca 2026 roku, pisząc: „hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final” („witajcie, hipoteza Jakobianu jest fałszywa, dzięki mojemu dobremu przyjacielowi Akhilowi za pytanie i mojemu drugiemu dobremu przyjacielowi Fable za pracę podczas finału mundialu”) .

Konkretny kontrprzykład

Kontrprzykład to odwzorowanie wielomianowe F: ℂ³ → ℂ³ zdefiniowane w następujący sposób :

Dwie kluczowe własności :

• Wyznacznik Jakobianu: det Jac F = −2 (niezerowa stała), więc F jest odwzorowaniem Kellera.
• Brak injektywności: Trzy różne punkty wejściowe wszystkie mapują się na ten sam wynik (-1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

Ponieważ funkcja, która nie jest różnowartościowa, nie może mieć odwrotności wielomianowej (ani żadnej innej), F jest sprzeczne z hipotezą Jakobianu. Konstrukcja działa nad każdym ciałem o charakterystyce zero, ponieważ wszystkie współczynniki i punkty świadczące są wymierne .

Towarzyszący artykuł (wersja wstępna z 20 lipca 2026 roku) zawiera pełną weryfikację algebraiczną, określa globalną geometrię F i dowodzi, że zbiór niepoprawności odwzorowania F jest hiperpowierzchnią — mechanizmem, przez który odwzorowanie nie jest automorfizmem wielomianowym . Praca ta konstruuje również nieskończone rodziny takich kontrprzykładów .

Status przypadku dwóch zmiennych

Hipoteza Jakobianu dla n = 2 (dla dwóch zmiennych zespolonych) pozostaje problemem otwartym na lipiec 2026 roku. Kontrprzykład obala hipotezę jedynie dla wymiarów n ≥ 3 .

Aktualny stan weryfikacji i recenzji naukowej

Stan na 22 lipca 2026 roku:

• Wiarygodność matematyczna: Kontrprzykład jest jednoznaczny i może być mechanicznie sprawdzony. Matematycy traktują go poważnie . Przeprowadzono formalną weryfikację w systemie Lean 4, która przechodzi testy ciągłej integracji .
• Brak publikacji recenzowanej: Na dzień dzisiejszy nie ma opublikowanego artykułu w recenzowanym czasopiśmie ani preprintu na arXiv . Materiał istnieje jako wpis w mediach społecznościowych oraz towarzyszący plik PDF na stronie ulam.ai, ale nie przeszedł formalnej recenzji.
• Wikipedia została zaktualizowana: Artykuł w Wikipedii dotyczący hipotezy Jakobianu wymienia teraz kontrprzykład jako obalający hipotezę dla N > 2 .
• Ocena środowiska: Komentatorzy są zgodni, że matematyka jest niemal na pewno poprawna, ale formalne przyjęcie i cytowanie w oficjalnych publikacjach wciąż oczekuje . Wynik jest przypisywany współpracy człowieka z AI, a nie wyłącznie działaniu Claude'a .

Podsumowanie: Hipoteza Jakobianu wydaje się być prawdziwie fałszywa w wymiarach ≥ 3. Przypadek dwóch zmiennych pozostaje otwarty. Kontrprzykład jest matematycznie poprawny i został niezależnie zweryfikowany, ale nie przeszedł jeszcze formalnej recenzji naukowej.

Źródła: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,