Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. Oggi parla di un progetto per insegnare la matematica agli LLM. Tim Gowers è una medaglia Fields, insomma uno che di matematica ne capisce qualcosa. È anche uno che ha […]L'articolo Come spiegare le dimostrazioni alle AI? proviene da Maddmaths!.