@Tigre_ Per esempio puoi formalizzare teoremi digitalmente per verificare che le prove siano giuste, aiutare aziende come Intel, Nvidia, etc a sviluppare software e hardware più veloce, o puoi andare nel settore dell'intelligenza artificiale per migliorare le capacità cognitive dell'IA, etc