1/ Täydelliset zk-todisteet kokonaisille tekoälymalleille ovat tehokkaita... Mutta käytännössä: liian raskas, liian hidas, liian kallis. Siksi rakensimme DSpersen → viipalepohjaiseen vahvistukseen.