Fine del divertimento?
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. Con le intelligenze artificiali che dimostrano teoremi e i programmi che formalizzano le dimostrazioni non ci si...
Matematica, IA e creatività
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. Un professore ha “dimostrato” che un LLM non potrà mai superare la creatività di un bravo dilettante. Ma...
Ingegno artificiale
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. Sir Roger Penrose pensa che le IA non siano intelligenti, ma solo ingegnose. Vedendo gli ultimi risultati, il mio...




