Kiedy student pokonuje ekspertów

Pewna historia sprawia, że człowiekowi robi się naprawdę ciekawie. Przez dziesięciolecia matematycy byli przekonani, że pewien słynny problem dotyczący odwracania funkcji matematycznych jest najprawdopodobniej prawdziwy. Nikt nie potrafił go jednak udowodnić. Aż w końcu ktoś wykorzystał sztuczną inteligencję do szukania kontrprzykładu — i znalazł taki, który dosłownie mieści się w jednym tweecie.

Ta historia po prostu mnie zachwyca.

O co właściwie chodzi z tą hipotezą Jakobianową?

Spróbuję to wyjaśnić w miarę przystępnie, bo szczerze mówiąc, Wikipedia podaje to w sposób, od którego rozboli mnie głowa.

Wyobraź sobie funkcję jako swoistą maszynę — wkładasz liczby, a dostajesz inne według określonej reguły. Hipoteza Jakobianowa dotyczy tego, czy zawsze można tę maszynę odwrócić. Czyli czy istnieje inna funkcja, która cofnie to, co zrobiła pierwsza.

Myśl o tym jak o przesuwaniu punktów w przestrzeni. Hipoteza mówi, że o ile funkcja nie "zgniata" i nie "składa" przestrzeni w określony sposób (matematycy mierzą to za pomocą czegoś zwanego "wyznacznikiem Jakobianowym"), powinieneś zawsze móc znaleźć funkcję odwrotną.

Brzmi rozsądnie, prawda?

Problem polega na tym, że nikt nigdy nie potrafił udowodnić, iż to działa w każdym przypadku. A teraz, dzięki pomocy AI, wiemy, że w pewnych wymiarach jest to po prostu fałszywe.

Plotka: prostsze, niż ktokolwiek się spodziewał

Oto co naprawdę elektryzuje matematyków: kontrprzykład znaleziony przez Levent Alpöge, pracującego w Anthropic (firma stojąca za AI Claude), jest zaskakująco mały. Żenująco mały. Mieści się w jednym poście.

Cała trudność w znalezieniu kontrprzykładu polega na skonstruowaniu bardzo specyficznego rodzaju funkcji — takiej, która nie "składa" przestrzeni, ale jednocześnie nie daje się odwrócić. Te wymagania brzmią sprzecznie, ale jakoś potrafią współistnieć w pewnych wymiarach.

Eksperci sądzili, że takie przykłady mogą w ogóle nie istnieć, albo będą niewiarygodnie skomplikowane. Tymczasem Claude znalazł coś tak krótkiego i eleganckiego, że — jak kiedyś zauważył jeden z użytkowników Math Stack Exchange — "jakiś zdolny student mógłby po prostu napisać wzór", który złamałby całą hipotezę.

I wiecie co? Ten użytkownik miał rację. Wzór jest na tyle krótki, że inni matematycy zweryfikowali go niemal natychmiast po publikacji Alpöge na X (dawniej Twitter).

Dlaczego powinno cię to obchodzić?

Wiem, co myślisz: "Świetnie, jakaś matematyczna sprawa, która prawdopodobnie nie ma wpływu na moje życie. Czemu mam się tym przejmować?"

To uczciwe pytanie. Oto moja odpowiedź: ta historia tak naprawdę nie dotyczy matematyki. Dotyczy tego, co reprezentuje.

Żyjemy w czasach, gdy AI staje się prawdziwym partnerem w ludzkiej kreatywności i odkryciach — nie tylko narzędziem wykonującym wąskie zadania, ale czymś, co naprawdę pomaga nam myśleć w nowy sposób. Fakt, że model AI wydany zaledwie kilka tygodni temu pomógł rozwiązać problem, który ma prawie 90 lat? To niesamowite.

To również wpisuje się w wzorzec, który widzimy coraz częściej: AI wnosi realny wkład w dziedziny, które wydawały się odporne na automatyzację. Matematycy, fizycy, programiści — to nie są zawody, które ludzie spodziewali się, że zostaną "zrewolucjonizowane" przez AI. A jednak.

Warto dodać, że oryginalna wersja hipotezy z 1884 roku (tak, ponad sto lat temu!) wciąż pozostaje nierozwiązana. Więc pracy nie brakuje. Ale dla wymiarów trzech i wyższych? Sprawa zamknięta.

Szerszy obraz

To, co znajduję najbardziej fascynujące, to lekcja dotycząca intuicji w matematyce. Przez dziesięciolecia eksperci wierzyli, że hipoteza Jakobianowa jest najprawdopodobniej prawdziwa. Budowali na tej wierze całe kariery. A teraz szybkie przeszukiwanie przez AI pokazało, że ta intuicja była błędna — przynajmniej dla wyższych wymiarów.

Jest w tym pewna mądrość: nawet genialni ludzie mogą przeoczyć coś oczywistego, gdy patrzą w złym kierunku. Może czasem potrzebujesz świeżego spojrzenia — albo świeżej sieci neuronowej — która wskaże to, co masz tuż przed nosem.

Niezależnie od twojego zdania na temat AI, chyba wszyscy możemy się zgodzić: to dziwne i ekscytujące czasy, by żyć.

Źródło: ScienceDaily