Tehisintellekt muudab matemaatikute tööd ja tekitab küsimusi pädevuse säilimise kohta

ERR-i tehnikakommentaari kohaselt on tehisintellekt hakanud matemaatikas koostama mahukaid formaalseid tõestusi, mille mõistmine ja kontrollimine võib inimestel võtta kuid. Kommentaari autor Kristjan Port võrdleb arengut autode tehnilise keerukuse kasvuga ning leiab, et automatiseerimine vähendab probleemide lahendamisel vajalikku isiklikku pingutust. Matemaatik Terence Tao on allika vahendusel väljendanud muret, et tehisintellekt võib muuta matemaatikavaldkonna senist töökorraldust ja mõjutada eriti noori teadlasi.