Ehkä minun olisi pitänyt antaa tälle klikkiotsikko enemmän otsikko, kuten: Ratkaisimme tekoälyhallusinaatiot!* * tieteellisen koneoppimisen kapeassa kontekstissa** ** käyttäen paljon muodollista verifiointia, automatisoitua teoreemojen todistamista ja sovellettua kategoriateoriaa