Mitä tarkoittaa olla matemaatikko, kun tekoäly laskee matemaattiset tehtävät

Artikkelissa pohditaan matematiikan työn muuttuvaa luonnetta tekoälyn aikakaudella. Kirjoittaja, entinen sovelletun matematiikan tohtoriopiskelija, muistelee omia kamppailujaan ja ymmärtää nyt sen pitkän matkan arvon kohti ymmärrystä, tunteen, jota puhtaat matemaatikot vaalivat. Viimeaikaiset tekoälysaavutukset, kuten Google DeepMindin Aletheia, joka tuottaa julkaisukelpoista tutkimusta, ja OpenAI:n järjestelmä, joka kumosi otaksuman kombinatorisessa geometriassa, viittaavat siihen, että tekoäly pystyy käsittelemään tehtäviä, joita aiemmin pidettiin yksinomaan ihmisille kuuluvina. Todistusavustimet, kuten Isabelle, Lean ja Rocq, yhdistettyinä kielimalleihin, automatisoivat formalisointia. Heidelbergin Nobel-foorumilla keskustelu keskittyi tekoälyn mahdollisuuteen korvata matemaatikot, ja jotkut, kuten Yang-Hui He, näkevät ihmiset "oraakkeleiden pappeina", kun taas toiset, mukaan lukien Fields-mitalisti Akshay Venkatesh ja Maia Fraser, korostavat ymmärryksen ihmiskeskeistä arvoa ja kollektiivisen älykkyyden kauneutta. Terence Tao kannattaa yhteistyöhön perustuvia lähestymistapoja, joissa ihmiset ja tekoäly työskentelevät yhdessä.