Hipoteza Jakobianu obalona? Przełomowy kontrprzykład znaleziony przez AI i matematyka
Matematyk Levent Alpöge z Anthropic, podczas finału Klubowych Mistrzostw Świata, poprosił model Claude Fable 5 o pomoc w rozwiązaniu hipotezy Jakobianu. Model wygenerował 216 znakowy kontrprzykład – wielomianowe odwzorowanie F: ℂ³ → ℂ³, które spełnia warunek stałego Jakobianu, ale nie jest różnowartościowe.
Opublikowane przezEdytowane za pomocą DeepSeek-V4-FlashObrazy wygenerowane za pomocą GPT Image 1.5
Matematyk Levent Alpöge z Anthropic, podczas finału Klubowych Mistrzostw Świata, poprosił model Claude Fable 5 o pomoc w rozwiązaniu hipotezy Jakobianu.
Model wygenerował 216 znakowy kontrprzykład – wielomianowe odwzorowanie F: ℂ³ → ℂ³, które spełnia warunek stałego Jakobianu, ale nie jest różnowartościowe.
Odwzorowanie ma Jakobian równy 2, ale trzy różne punkty (0,0, 1/4), (1, 3/2,13/2) i ( 1,3/2,13/2) wszystkie mapują na ten sam wynik ( 1/4,0,0).
Oznacza to, że hipoteza Jakobianu jest fałszywa dla wymiarów n ≥ 3; przypadek dwóch zmiennych (n=2) pozostaje otwarty.
Search & fact-check with cited sources for What was the Jacobian conjecture, how did mathematician Levent Alpöge use Anthropic's Claude FablThe 216-character polynomial counterexample to the Jacobian conjecture, generated with the help of Anthropic's Claude Fable 5.
AI Prompt
Create a landscape editorial hero image for this Studio Global article: Search & fact-check with cited sources for What was the Jacobian conjecture, how did mathematician Levent Alpöge use Anthropic's Claude Fabl. Article summary: ## The Jacobian Conjecture. Topic tags: general, general web, user generated, academic, education. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clickbait thumbnails, icons, and tiny thumbnail layouts. Make it useful as an illustrative visual, not as factual evidence.
openai.com
Czym jest hipoteza Jakobianu?
Hipoteza Jakobianu to fundamentalny problem geometrii algebraicznej, który został po raz pierwszy sformułowany dla dwóch zmiennych przez Ludwiga Krausa w 1884 roku, a następnie uogólniony na N zmiennych przez Otta-Heinricha Kellera w 1939 roku . Mówi ona, że jeśli funkcja wielomianowa F: ℂⁿ → ℂⁿ ma Jakobian (wyznacznik macierzy pochodnych cząstkowych) będący wszędzie niezerową stałą, to F musi być automorfizmem wielomianowym — czyli istnieje odwrotność wielomianowa, a funkcja jest bijekcją (różnowartościowa i „na”) . Takie odwzorowania nazywa się . Hipoteza ta była numerem 16 na liście „Matematycznych Problemów na Kolejne Stulecie” Stephena Smale'a z 1998 roku i słynęła z wielu błędnych dowodów .
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
What is the short answer to "Hipoteza Jakobianu obalona? Przełomowy kontrprzykład znaleziony przez AI i matematyka"?
Matematyk Levent Alpöge z Anthropic, podczas finału Klubowych Mistrzostw Świata, poprosił model Claude Fable 5 o pomoc w rozwiązaniu hipotezy Jakobianu.
What are the key points to validate first?
Matematyk Levent Alpöge z Anthropic, podczas finału Klubowych Mistrzostw Świata, poprosił model Claude Fable 5 o pomoc w rozwiązaniu hipotezy Jakobianu. Model wygenerował 216 znakowy kontrprzykład – wielomianowe odwzorowanie F: ℂ³ → ℂ³, które spełnia warunek stałego Jakobianu, ale nie jest różnowartościowe.
What should I do next in practice?
Odwzorowanie ma Jakobian równy 2, ale trzy różne punkty (0,0, 1/4), (1, 3/2,13/2) i ( 1,3/2,13/2) wszystkie mapują na ten sam wynik ( 1/4,0,0).
Hipoteza Jakobianu obalona? Przełomowy kontrprzykład znaleziony przez AI i matematyka
Matematyk Levent Alpöge z Anthropic, podczas finału Klubowych Mistrzostw Świata, poprosił model Claude Fable 5 o pomoc w rozwiązaniu hipotezy Jakobianu. Model wygenerował 216 znakowy kontrprzykład – wielomianowe odwzorowanie F: ℂ³ → ℂ³, które spełnia warunek stałego Jakobianu, ale nie jest różnowartościowe.
Opublikowane przezEdytowane za pomocą DeepSeek-V4-FlashObrazy wygenerowane za pomocą GPT Image 1.5
Matematyk Levent Alpöge z Anthropic, podczas finału Klubowych Mistrzostw Świata, poprosił model Claude Fable 5 o pomoc w rozwiązaniu hipotezy Jakobianu.
Model wygenerował 216 znakowy kontrprzykład – wielomianowe odwzorowanie F: ℂ³ → ℂ³, które spełnia warunek stałego Jakobianu, ale nie jest różnowartościowe.
Odwzorowanie ma Jakobian równy 2, ale trzy różne punkty (0,0, 1/4), (1, 3/2,13/2) i ( 1,3/2,13/2) wszystkie mapują na ten sam wynik ( 1/4,0,0).
Oznacza to, że hipoteza Jakobianu jest fałszywa dla wymiarów n ≥ 3; przypadek dwóch zmiennych (n=2) pozostaje otwarty.
Search & fact-check with cited sources for What was the Jacobian conjecture, how did mathematician Levent Alpöge use Anthropic's Claude FablThe 216-character polynomial counterexample to the Jacobian conjecture, generated with the help of Anthropic's Claude Fable 5.
AI Prompt
Create a landscape editorial hero image for this Studio Global article: Search & fact-check with cited sources for What was the Jacobian conjecture, how did mathematician Levent Alpöge use Anthropic's Claude Fabl. Article summary: ## The Jacobian Conjecture. Topic tags: general, general web, user generated, academic, education. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clickbait thumbnails, icons, and tiny thumbnail layouts. Make it useful as an illustrative visual, not as factual evidence.
openai.com
Czym jest hipoteza Jakobianu?
Hipoteza Jakobianu to fundamentalny problem geometrii algebraicznej, który został po raz pierwszy sformułowany dla dwóch zmiennych przez Ludwiga Krausa w 1884 roku, a następnie uogólniony na N zmiennych przez Otta-Heinricha Kellera w 1939 roku . Mówi ona, że jeśli funkcja wielomianowa F: ℂⁿ → ℂⁿ ma Jakobian (wyznacznik macierzy pochodnych cząstkowych) będący wszędzie niezerową stałą, to F musi być automorfizmem wielomianowym — czyli istnieje odwrotność wielomianowa, a funkcja jest bijekcją (różnowartościowa i „na”) . Takie odwzorowania nazywa się . Hipoteza ta była numerem 16 na liście „Matematycznych Problemów na Kolejne Stulecie” Stephena Smale'a z 1998 roku i słynęła z wielu błędnych dowodów .
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
What is the short answer to "Hipoteza Jakobianu obalona? Przełomowy kontrprzykład znaleziony przez AI i matematyka"?
Matematyk Levent Alpöge z Anthropic, podczas finału Klubowych Mistrzostw Świata, poprosił model Claude Fable 5 o pomoc w rozwiązaniu hipotezy Jakobianu.
What are the key points to validate first?
Matematyk Levent Alpöge z Anthropic, podczas finału Klubowych Mistrzostw Świata, poprosił model Claude Fable 5 o pomoc w rozwiązaniu hipotezy Jakobianu. Model wygenerował 216 znakowy kontrprzykład – wielomianowe odwzorowanie F: ℂ³ → ℂ³, które spełnia warunek stałego Jakobianu, ale nie jest różnowartościowe.
What should I do next in practice?
Odwzorowanie ma Jakobian równy 2, ale trzy różne punkty (0,0, 1/4), (1, 3/2,13/2) i ( 1,3/2,13/2) wszystkie mapują na ten sam wynik ( 1/4,0,0).
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 :
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
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.
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 :
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
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.
glitchwire.comA Mathematician Used Claude Fable to Disprove the 87-Year-Old ...
nocode.techClaude Fable Just Produced a Counterexample to a 87-Year-Old Math Conjecture — What AI Breakthroughs Mean for Every Builder Using Agent Tools
arxiv.orgarXiv:1705.10921v1 [math.CV] 31 May 2017
ndtv.comAI Cracks 87-Year-Old Math Mystery That Had Stumped Mathematicians Since 1939
