Terence Tao o przeformułowaniu matematyki w erze sztucznej inteligencji

Terence Tao o przeformułowaniu matematyki w erze sztucznej inteligencji

Terence Tao opublikował nowy esej poświęcony problemowi przemyślenia roli matematyki w dobie sztucznej inteligencji.

W skrócie, uczony sugeruje, że powinniśmy zaprzestać sporów o to, jak potężna stanie się AI w matematyce, a zamiast tego zastanowić się nad tym, jaki jest prawdziwy cel badań matematycznych, gdy rozwiązywanie problemów przestaje być wąskim gardłem.

W rzeczywistości rozwiązanie problemu to coś więcej niż tylko znalezienie odpowiedzi. Przy bliższej analizie proces ten przebiega w pięciu etapach: generowanie dowodu → weryfikacja → jasne przedstawienie (ekspozycja) → akceptacja przez środowisko naukowe → kanonizacja (wprowadzenie do podręczników i standardowego aparatu dziedziny).

AI przejmuje jedynie pierwsze dwa punkty. Reszta pozostaje domeną ludzi, czyli: rozumienie, wyjaśnianie, publiczne dyskusje, łączenie znalezionych rozwiązań z istniejącą teorią oraz przekształcanie ich w materiał, który można rzeczywiście wykorzystać dla dobra nauki. Można to podsumować jako „asymilację wiedzy zbiorowej”, która nie podlega automatyzacji.

Zatem teza Tao brzmi, że matematycy nie stracą pracy, nawet gdy AI całkowicie zdeprecjonuje sam poszukiwawczy aspekt rozwiązań. Ich praca po prostu przesunie się ku temu, co kiedyś uważano za mniej prestiżowe, ale co zawsze leżało u podstaw nauki – ku zrozumieniu i ekspozycji.