Jacobin konjektuuri kumottiin – matemaatikko ja tekoäly yhdistivät voimansa MM-finaalin aikana

Jacobin konjektuuri

Jacobin konjektuuri on algebrallisen geometrian keskeinen ongelma. Sen esitti kahdelle muuttujalle Ludwig Kraus vuonna 1884, ja Ott-Heinrich Keller yleisti sen N:lle muuttujalle vuonna 1939 . Konjektuurin mukaan jos polynomifunktiolla F: ℂⁿ → ℂⁿ on Jacobin determinantti (osittaisderivaattojen matriisin determinantti), joka on kaikkialla nollasta poikkeava vakio, funktiolla on oltava polynominen käänteisfunktio – eli se on bijektiivinen . Tällaisia kuvauksia kutsutaan Keller-kuvauksiksi. Konjektuuri oli sijalla 16 Stephen Smalen vuonna 1998 julkaisemalla listalla vuosisadan matematiikan ongelmista, ja se tunnettiin monista virheellisistä todistusyrityksistä .

Miten Levent Alpöge käytti Claude Fable 5:tä

Heinäkuun 19.–20. päivän välisenä yönä 2026, seuratessaan FIFA:n seurajoukkueiden MM-finaalia, matemaatikko Levent Alpöge – lukuteoreetikko, joka työskentelee Anthropicilla oltuaan aiemmin Harvardin Society of Fellows -yhteisön Junior Fellow – sai ystävältään Akhil Mathew'lta kysymyksen Jacobin konjektuurista . Alpöge pyysi Anthropicin Claude Fable 5 -mallia työstämään ongelmaa. Malli palautti konkreettisen 216 merkin pituisen polynomikuvauksen, joka täytti vakion nollasta poikkeavan Jacobin determinantin ehdon mutta ei ollut injektiivinen, mikä rikkoo konjektuurin johtopäätöstä .

Alpöge julkaisi tuloksen X-palvelussa 19. heinäkuuta 2026 kirjoittaen: "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" .

Vastaesimerkki

Vastaesimerkki on polynomikuvaus F: ℂ³ → ℂ³, joka määritellään seuraavasti :

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

Kaksi keskeistä ominaisuutta :

• Jacobin determinantti: det Jac F = −2 (nollasta poikkeava vakio), joten F on Keller-kuvaus.
• Ei-injektiivisyys: Kolme eri lähtöpistettä kuvautuu samaan pisteeseen (-1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

Koska ei-injektiivisellä kuvauksella ei voi olla polynomista (eikä mitään muuta) käänteisfunktiota, F on ristiriidassa Jacobin konjektuurin kanssa. Konstruktio toimii missä tahansa karakteristisesti nollassa olevassa kunnassa, koska kaikki kertoimet ja todistuspisteet ovat rationaalisia .

Esipainos (päivätty 20. heinäkuuta 2026) sisältää täydellisen algebrallisen varmistuksen, määrittää F:n globaalin geometrian ja osoittaa, että F:n ei-properisuusjoukko on hypersäike – mekanismi, jolla kuvaus ei ole polynominen automorfismi . Artikkeli rakentaa myös äärettömiä perheitä tällaisia vastaesimerkkejä .

Kahden muuttujan tapauksen tila

Jacobin konjektuuri kahdelle muuttujalle (n = 2) on edelleen avoin ongelma heinäkuussa 2026. Vastaesimerkki kumoaa konjektuurin vain dimensioissa n ≥ 3 .

Varmistuksen ja vertaisarvioitujen julkaisujen nykytila

Heinäkuun 22. päivään 2026 mennessä tiedetään seuraavaa:

• Matemaattisesti uskottava: Vastaesimerkki on eksplisiittinen ja mekaanisesti tarkistettavissa. Matemaatikot suhtautuvat siihen vakavasti . Lean 4 -todistusavustimella on tuotettu muodollinen varmistus, joka läpäisee jatkuvan integraation kokoamistestit .
• Ei vielä vertaisarvioitua julkaisua: Viimeisimpien raporttien mukaan ei ole olemassa vertaisarvioitua artikkelia eikä arXiv-esipainosta . Materiaali on olemassa sosiaalisen median julkaisuna ja PDF-tiedostona ulam.ai-sivustolla, mutta sitä ei ole läpikäynyt muodollista lehtiarviointia.
• Wikipedia päivitetty: Wikipedian Jacobin konjektuuria koskeva artikkeli listaa nyt vastaesimerkin kumoavan konjektuurin N > 2 tapauksessa .
• Yhteisön arvio: Kommentoijien keskuudessa vallitsee yksimielisyys siitä, että matematiikka on lähes varmasti oikein, mutta muodollinen hyväksyntä ja viittaus viralliseen tietueeseen ovat vielä kesken . Tulos on katsottu ihmisen ja tekoälyn yhteistyön ansioiksi, ei pelkästään Clauden itsenäiseksi työksi .

Yhteenvetona: Jacobin konjektuuri vaikuttaa olevan aidosti väärä dimensioissa ≥ 3. Kahden muuttujan tapaus on edelleen avoin. Vastaesimerkki on matemaattisesti pätevä ja riippumattomasti varmistettu, mutta se ei ole vielä läpikäynyt muodollista vertaisarviointia.