En rolig liknelse där AI producerar mycket matematik/kod och producerar korrekthetsbevis med formell verifiering är att det är som att vi rör oss mot en NP-känsla där påståendena är matematik/kod och vittnen är dessa bevis

Självklart är det inte perfekt eftersom vi fortfarande (antar jag) kan verifiera koden själva