Quattro storie recenti che mostrano che la matematica è tutt'altro che "finita"
La matematica ha la reputazione di essere una disciplina "conclusa" — un edificio di verità stabilite da secoli. In realtà è tutt'altro: negli ultimi anni si sono aperti fronti di ricerca sorprendenti, alcuni dei quali coinvolgono persino l'intelligenza artificiale come collaboratrice nella scoperta di nuove dimostrazioni. Ecco una panoramica di alcune delle novità più interessanti per chi segue la matematica da appassionato. 🔹 1. L'intelligenza artificiale entra nelle dimostrazioni Negli ultimi anni, sistemi come AlphaProof di DeepMind hanno raggiunto risultati di livello da medaglia olimpica nella risoluzione di problemi di matematica competitiva, lavorando in linguaggi di dimostrazione formale come Lean. Non si tratta di "calcolare" — questi sistemi costruiscono dimostrazioni logiche verificabili passo per passo, lo stesso tipo di rigore richiesto a un matematico umano. Il punto interessante non è solo che una macchina risolva problemi, ma che l...