Come spiegare le dimostrazioni alle AI?
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...
La gioia delle dimostrazioni
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 cerca di far capire cosa c’è di bello nel trovare una dimostrazione. Avete presente il teorema della 4C, con i...
Il segreto della matematica
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 svela quale sia per lui il segreto della matematica. Dal lontano 2008 c’è una tradizione tra i blog che si occupano...




