Claude Fable obalił słynną Hipotezę Jakobianową znajdując matematyczny kontrprzykład

Model AI Claude Fable znalazł kontrprzykład obalający słynną Hipotezę Jakobianową, jeden z najważniejszych nierozwiązanych problemów w matematyce algebraicznej. Matematyk levent (@alpoge) ogłosił to odkrycie na platformie X, podając konkretną funkcję matematyczną, która spełnia warunki hipotezy, ale nie jest bijekcją.

Hipoteza Jakobianowa, sformułowana w latach 30. XX wieku, głosiła, że każda funkcja wielomianowa z trzech zmiennych zespolonych do trzech zmiennych zespolonych o jakobianie równym stałej niezerowej musi być bijekcją (odwzorowaniem wzajemnie jednoznacznym).

Kluczowe wnioski

• Claude Fable znalazł funkcję z jakobianem równym -2, która mapuje konkretne punkty w sposób obalający hipotezę.
• Kontrprzykład: funkcja ((1+xy)³z + y²(1+xy)(4+3xy), y + 3x(1+xy)²z + 3xy²(4+3xy), 2x — 3x²y — x³z) mapuje punkty (0,0,-1/4), (1,-3/2,13/2) i (-1,3/2,13/2) na (-1/4,0,0).
• Obliczenia zostały zweryfikowane w Wolfram Alpha, a wyniki wywołały szeroką dyskusję w środowisku matematycznym.
• Odkrycie może mieć konsekwencje dla innych hipotez matematycznych, w tym Hipotezy Dixmiera i Hipotezy Poissona.

Przełomowe odkrycie w matematyce

Funkcja podana przez leventa ma jakobian o wyznaczniku równym -2 i przekształca różne punkty wejściowe na ten sam punkt wyjściowy (-1/4, 0, 0). To oznacza, że funkcja nie jest iniekcją, a tym samym nie może być bijekcją, co przeczy Hipotezie Jakobianowej.

Matematyk potwierdził swoje obliczenia za pomocą Wolfram Alpha, udostępniając linki do weryfikacji zarówno wyznacznika jakobianu, jak i wartości funkcji w podanych punktach. Wyliczenia pokazują, że wszystkie trzy różne punkty wejściowe rzeczywiście mapują się na ten sam punkt wyjściowy.

Reakcje społeczności matematycznej

Ogłoszenie wywołało żywą dyskusję wśród matematyków i entuzjastów AI. Julian Bruns zauważył, że odkrycie może mieć implikacje dla innych ważnych hipotez matematycznych, w tym Hipotezy Dixmiera i Hipotezy Poissona.

Komentatorzy pytali o metodologię — czy Claude Fable użył przeszukiwania brute force, czy zastosował inne podejście konstruktywne. Jeden z użytkowników (@kettlepoppers) podniósł kwestię, czy przykład jest ważny tylko nad liczbami rzeczywistymi, czy także nad zespolonymi, co jest kluczowe dla pełnej wersji hipotezy.

Siddhartha Gadgil zaproponował formalizację wyniku w systemie dowodzenia Lean, co pokazuje, jak szybko społeczność matematyczna mobilizuje się wokół weryfikacji i formalizacji nowych odkryć.

Znaczenie dla przyszłości matematyki

To odkrycie jest szczególnie znaczące, ponieważ Hipoteza Jakobianowa była uważana za jeden z najtrudniejszych problemów w algebrze. Jak zauważył levent, problem ten był „kanonicznym cmentarzyskiem maniaków” — miejscem, gdzie wielu matematyków bezskutecznie próbowało znaleźć rozwiązanie.

Fakt, że model AI zdołał znaleźć kontrprzykład, rodzi pytania o przyszłą rolę sztucznej inteligencji w odkryciach matematycznych. Komentatorzy spekulują już o możliwości przyznania Medalu Fieldsa modelowi AI, co byłoby precedensem w historii matematyki.