l’ultima volta che ho letto una notizia del genere si era scoperto che l’ai in realtà aveva trovato la dimostrazione su stack exchange