
DI proveržis matematikoje: mašininiai įrodymai greitėja, bet kelia pasitikėjimo rizikas
DI pagreitintas matematinių įrodymų formalizavimas suteikia neįtikėtiną spartą, tačiau netikslus teiginių vertimas į kodą kelia reikalavimus griežtesnei kontrolei.














