Terence Tao, matematyk z UCLA, powszechnie uważany za najbardziej wpływową żywą postać w tej dziedzinie, opublikował esej, w którym argumentuje, że sztuczna inteligencja wpycha matematykę w okres zawirowań porównywalnych z podstawowym kryzysem, który sto lat temu przekształcił tę dyscyplinę. Artykuł zatytułowany „Matematyka w epoce sztucznej inteligencji” ukazał się w arXiv 17 sierpnia i opiera się na publicznym wykładzie Tao wygłoszonym na Międzynarodowym Kongresie Matematyków w 2026 roku.

Esej szybko stał się jednym z najczęściej dyskutowanych tekstów naukowych tygodnia wśród badaczy i inżynierów, przyciągając dużą publiczność na forach takich jak Hacker News. W przypadku dziedziny, w której przez ostatnie trzy lata debatowano, czy sztuczna inteligencja rzeczywiście może wykonywać obliczenia matematyczne na poziomie badawczym, argument Tao całkowicie zmienia tę kwestię.

Kryzys wartości, a nie prawdy

Historyczne ramy Tao są zamierzone. Mniej więcej między rokiem 1900 a 1930 matematyką wstrząsnęły paradoks Russella w 1901 r. i twierdzenia Gödla o niezupełności w 1931 r. — odkrycia, które zmusiły matematyków do porzucenia nieformalnych założeń i zbudowania wyraźnych, rygorystycznych podstaw, na których przedmiot ten nadal opiera się. Twierdzi, że te turbulencje ostatecznie wzmocniły matematykę.

Paralela, którą rysuje, jest precyzyjna: testom warunków skrajnych poddawane są obecnie nie matematyczne ramy prawdy, ale jej „w dużej mierze ukryte ramy matematycznych wartości i praktyk” – to, co społeczność uważa za wkład, co nagradza, co uważa za zrozumiałe i kogo lub co uważa za wykonanie pracy. Tak jak ostatni kryzys zmusił to, co ukryte, do uwydatnienia się, tak Tao twierdzi, że ten zmusi matematyków do skodyfikowania celów, które nigdy nie musiały być spisywane.

Pomijanie debaty na temat możliwości

Najbardziej uderzającym wyborem strukturalnym eseju jest brak dyskusji na temat tego, czy sztuczna inteligencja potrafi posługiwać się matematyką. Zamiast tego Tao opiera się na hipotezie, że pojawią się narzędzia sztucznej inteligencji zdolne do wykonywania zadań matematycznych na poziomie badawczym, i traktuje wszystko poniżej tego założenia jako prawdziwy problem. Nazywa to „pytaniem społeczności matematycznej”: jak powinna zareagować społeczność matematyczna, a nie to, czy możliwości są realne.

Jest to celowo ruch ortogonalny. Debaty na temat możliwości modelu, zdaniem Tao, są nierozwiązywalne zarówno w sposób abstrakcyjny, jak i nie na temat. Pilne pytania – do czego służy matematyka i co tak naprawdę cenią jej praktycy – wymagałyby odpowiedzi, nawet gdyby jutro postęp AI utknął w martwym punkcie.

Niedobór dowodów, obfitość dowodów i prawo Goodharta

Centralnym punktem eseju jest studium przypadku dotyczące rozwiązywania problemów, elementu praktyki matematycznej najbardziej bezpośrednio zagrożonej przez automatyzację. Tao bada, co się stanie, gdy dziedzina wiedzy przejdzie od gospodarki niedoboru dowodów – gdzie zweryfikowane, oryginalne dowody są rzadkie i cenne – do gospodarki obfitości dowodów, gdzie argumenty generowane przez maszyny są tanie i liczne.

Jego lista słów kluczowych sygnalizuje obszar, którym się zajmuje: formalizacja, asystenci dowodowi, recenzowanie, prawo Goodharta. Ta ostatnia kwestia – zasada, że ​​środek przestaje być dobrym środkiem, gdy staje się celem – powtarza się w całym tekście. Liczba publikacji, wyniki konkursów i pochodzenie twierdzeń posłużyły jako wskaźniki zastępcze wkładu matematycznego. W świecie, w którym sztuczna inteligencja może zawyżać te wskaźniki na dużą skalę, społeczność będzie musiała nagradzać to, co faktycznie ceni, a nie to, co w przeszłości była w stanie policzyć.

Esej kończy się zaleceniami i przeglądem pojawiających się przepływów pracy – w tym formalnych środowisk dowodowych, jakich sam Tao bronił w eksperymentach z formalnie zweryfikowaną matematyką wspomaganą sztuczną inteligencją – wraz ze szczerym potwierdzeniem, że odpowiedź społeczności będzie ewoluować wraz z technologią.

Dlaczego esej z matematyki ma znaczenie poza matematyką

Tao to niezwykła postać: medalista Fieldsa, który spędził lata bezpośrednio pracując z asystentami dowodowymi i narzędziami sztucznej inteligencji, zamiast komentować je na odległość. To praktyczne zaangażowanie nadaje esejowi wagę wykraczającą poza czystą matematykę, ponieważ prawie każda dyscyplina badawcza spotyka się z tą samą inwersją, którą opisuje. Recenzje, autorstwo, autorstwo i definicja wkładu znajdują się pod tą samą presją w fizyce, biologii i informatyce – dziedzinach, w których brakuje stuletniej przewagi matematyki w zakresie wyraźnego przedstawienia swoich podstaw.

Dotychczasowy odbiór sugeruje, że kłótnia dotarła do celu. Wątki dyskusyjne koncentrowały się na ujęciu Tao od niedoboru do obfitości jako przydatnej perspektywy dla ogółu środowiska akademickiego, ze szczególnym uwzględnieniem jego stwierdzenia, że ​​kryzysu wartości, w przeciwieństwie do kryzysu fundamentów, nie może rozwiązać niewielka grupa logików. Będzie musiała go wypracować cała społeczność – czasopisma, komisje rekrutacyjne, organy przyznające granty i matematycy, których kariery opierają się na ukrytych normach, które są obecnie pod presją.

Konkluzja Tao jest ostatecznie konstruktywna, a nie zaniepokojona. Zasadniczy kryzys stworzył zaufane ramy, które przetrwały stulecie testów. Dokładne, uczciwe zbadanie tego, co faktycznie ceni matematyka, jego zdaniem, mogłoby sprawić, że dyscyplina ta stanie się silniejsza i bardziej odporna niż wcześniej – pod warunkiem, że społeczność podejmie się pracy nad upublicznieniem swoich niepisanych zasad, zanim okoliczności dokonają wyboru.

---

Wyprzedź sztuczną inteligencję

Otrzymuj najnowsze wiadomości, analizy i przełomowe informacje dotyczące sztucznej inteligencji — wszystko w jednym miejscu.

Przeczytaj więcej aktualności o sztucznej inteligencji →