Tekoälymallit ovat kehittyneet nopeasti ja ratkaisevat nykyään mitä ihmeellisimpiä ongelmia, mutta mihin ne tarkalleen ottaen pystyvät ja mihin eivät? Filosofian maisteri Veeti Ahvonen lähestyy väitöskirjassaan tätä kysymystä matemaattisen logiikan avulla ja tutkii useita keskeisiä neuroverkkoarkkitehtuureja, muun muassa variantteja transformereista, joihin suuret kielimallit perustuvat. Tutkimus osoittaa, että tarkasteltujen arkkitehtuurien ja logiikoiden välillä on täsmällinen vastaavuus: kukin logiikka kuvaa tarkalleen, mitä ongelmia sitä vastaava arkkitehtuuri pystyy ratkaisemaan. Tulokset avaavat myös lupaavia tutkimussuuntia tekoälymallien selitettävyyteen ja formaaliin verifiointiin.
FM Veeti Ahvosen väitöskirja On the Logical Foundations of Modern Computing Models tarkastetaan julkisesti Tampereen yliopiston Informaatioteknologian ja viestintätieteiden tiedekunnassa 11. marraskuuta 2026. Väitöstutkimus kuuluu matematiikan alaan.
Vastaväittäjänä toimii apulaisprofessori Przemysław Wałęga Queen Maryn yliopistosta Lontoosta, Isosta-Britanniasta. Kustoksena toimii apulaisprofessori Antti Kuusisto Informaatioteknologian ja viestintätieteiden tiedekunnasta.