Matematik s pomocí AI vyvrátil jeden z velkých problémů algebraické geometrie: Jacobiánský dohad padl po 87 letech

Jacobiánský dohad

Jacobiánský dohad je ústřední problém algebraické geometrie, který pro dvě proměnné poprvé formuloval Ludwig Kraus v roce 1884 a pro N proměnných zobecnil Ott-Heinrich Keller v roce 1939 . Dohad tvrdí, že pokud má polynomiální funkce F: ℂⁿ → ℂⁿ Jacobiho determinant (determinant matice parciálních derivací), který je všude nenulovou konstantou, pak je F nutně polynomiální automorfismus – to znamená, že má polynomiální inverzi a je tedy bijektivní . Tato zobrazení se nazývají Kellerova zobrazení. Dohad byl uveden jako problém číslo 16 na seznamu Matematických problémů pro 21. století Stephena Smalea z roku 1998 a byl známý tím, že přitahoval mnoho chybných důkazů .

Jak Levent Alpöge použil Claude Fable 5

V noci z 19. na 20. července 2026, při sledování finále Mistrovství světa ve fotbale klubů FIFA, se matematik Levent Alpöge – číselný teoretik pracující v Anthropicu po absolvování Junior Fellowship na Harvardově Society of Fellows – zeptal svého přítele Akhila Mathewa na Jacobiánský dohad . Alpöge pak požádal model Claude Fable 5 od Anthropicu, aby na problému pracoval. Model vrátil konkrétní 216znakový polynomiální protipříklad .

Alpöge výsledek zveřejnil na X 19. července 2026 s textem: "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" . (česky: „ahoj, Jacobiánský dohad je vyvrácen, díky mému blízkému příteli Akhilovi, že se zeptal, a mému dalšímu blízkému příteli Fable, že pracoval během finále mistrovství světa")

Konkrétní protipříklad

Protipříkladem je polynomiální zobrazení F: ℂ³ → ℂ³ explicitně definované jako :

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

Dvě klíčové vlastnosti platí :

• Jacobiho determinant: det Jac F = −2 (nenulová konstanta), takže F je Kellerovo zobrazení.
• Neinjektivita: Tři různé vstupní body se všechny zobrazí na stejný výstup (-1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

Protože neinjektivní zobrazení nemůže mít polynomiální (ani žádnou) inverzi, F je v rozporu s Jacobiánským dohadem. Konstrukce funguje nad libovolným tělesem charakteristiky nula, protože všechny koeficienty a svědecké body jsou racionální .

Doprovodná předtisková verze (datovaná 20. července 2026) poskytuje úplné algebraické ověření, určuje globální geometrii F a dokazuje, že množina „nonproperness" F je nadplocha – mechanismus, kterým zobrazení selhává být polynomiálním automorfismem . Práce dále konstruuje nekonečné rodiny takových protipříkladů .

Stav dvouproměnného případu

Jacobiánský dohad pro n = 2 (dvě komplexní proměnné) zůstává otevřeným problémem k červenci 2026. Protipříklad vyvrací dohad pouze pro dimenze n ≥ 3 .

Současný stav ověření a recenzního řízení

K 22. červenci 2026 je známo následující:

• Matematicky důvěryhodný: Protipříklad je explicitní a mechanicky ověřitelný. Matematici ho berou vážně . Formální verifikace v Lean 4 byla provedena a prochází kontinuální integrací .
• Zatím žádná recenzovaná publikace: Neexistuje žádný publikovaný recenzovaný článek ani preprint na arXivu k datu posledních zpráv . Materiál existuje jako příspěvek na sociální síti a doprovodné PDF na ulam.ai, ale neprošel formálním recenzním řízením.
• Wikipedia byla aktualizována: Heslo Jacobiánského dohadu na Wikipedii nyní uvádí protipříklad jako vyvrácení dohadu pro N > 2 .
• Hodnocení komunity: Shoda mezi komentátory je, že matematika je téměř jistě správná, ale formální přijetí a citace v oficiálních záznamech stále čekají k tomuto datu . Výsledek je připisován spolupráci člověka a AI, nikoli samostatně působícímu Claudovi .

Shrnutí: Jacobiánský dohad se zdá být skutečně vyvrácen v dimenzích ≥ 3. Dvouproměnný případ zůstává otevřený. Protipříklad je matematicky správný a byl nezávisle ověřen, ale zatím neprošel formálním recenzním řízením.