Matematiki svarijo pred jezikovnimi modeli v matematiki

Petindvajset vodilnih svetovnih matematikov, ki so tudi prejemniki prestižne Fieldsove medalje, je predstavilo izjavo o uporabi umetne inteligence v matematiki, k podpisu pa vabijo tudi druge matematike. V njej svarijo pred vplivom uporabe velikih jezikovnih modelov (LLM) za reševanje matematičnih problemov na prihodnji razvoj področja. V minulih mesecih so namreč LLM-ji prispevali rešitve nekaterih pomembnih problemov, katerih rešitve smo čakali desetletja. A ni vse zlato, kar se sveti. Terry Tao, verjetno eden najslavnejših in najboljši matematikov sodobne dobe, je izjavo pospremil z daljšim zapisom na svojem blogu. Pojasnjuje, da je glavni problem močna neusklajenost ciljev podjetij, ki razvijajo LLM-je, in matematične skupnosti. V izjavi niso proti umetni inteligenci, saj lahko pospeši raziskovanje in razumevanje, opozarjajo pa na pasti. Glavna past se skriva v razvoju novih matematikov, ki bi svoj um mojstrili na reševanju problemov, ki jih bo sedaj premagala umetna inteligenca. Veriga znanja je bila doslej človeška, saj je vključevala seminarje, diskusije, članke, učbenike itd. Če vse to nadomesti dokaz umetne inteligence, se prenos prekine ali vsaj ni več tako učinkovit. Ločen problem je tratenja časa matematikov. LLM-ji producirajo tudi veliko neumnosti, skozi katere se morajo ljudje prebiti, da jih kot take prepoznajo. K temu gre dodati še problem avtorstva, citiranja in plagiatorstva, o čemer smo veliko pisali prav ob zadnjem velikem preboju.[st.slika 76630]