Cosa sono i proof assistants (e perché sono importanti)

Come possiamo essere sicuri che una dimostrazione matematica sia davvero corretta? E che cosa succede quando a produrre dimostrazioni – o codice – è un'intelligenza artificiale? In questo articolo, Matteo Acclavio e Fabrizio Montesi ci raccontano cosa sono i...

Fine del divertimento?

Con le intelligenze artificiali che dimostrano teoremi e i programmi che formalizzano le dimostrazioni non ci si divertirà più a fare matematica? I commenti sono di tipo opposto.

I Problemi di LeScienze – Giugno 2026 – Gatti contro Alici (e non solo)

Sappiamo cosa state pensando. State pensando che se si fronteggiano i gatti contro le alici, l'elemento fondamentale è il fattore campo. Fuori dall'acqua, specialmente se i gatti sono normalmente in forma e le alici compresse in una scatoletta piena d'olio, la partita...

Il Premio Riemann alla matematica Sylvia Serfaty

La terza edizione del Premio Riemann, conferito dalla Riemann International School of Mathematics, va alla matematica francese Sylvia Serfaty che verrà premiata il 3 luglio a Palazzo Estense a Varese, alla fine di una settimana di conferenze che si tengono a 200 anni...

Come battere Wordle con la matematica 

Ogni giorno milioni di persone si accaniscono su Wordle, il giochino di parole del New York Times che il 15 giugno scorso ha festeggiato il suo quinto compleanno. E ogni giorno qualcuno si chiede se non esista un trucco per vincere. La risposta, a quanto pare, è sì:...
RM318, Luglio 2025, è in linea

RM318, Luglio 2025, è in linea

RM318 – il pdf RM318 – l’e-book E così è passato anche il 236° anniversario della Presa della Bastiglia (per non parlare della decima tappa del Tour de France o della finale di Wimbledon) senza che RM318 bussasse timidamente alle vostre mailbox....
Quick & Dirty – Pentagoni

Quick & Dirty – Pentagoni

Definiamo “pentagono parallelo” un pentagono per cui ogni diagonale è parallela al lato con cui non ha vertici in comune. È facile vedere che ogni pentagono regolare è un pentagono parallelo. Ogni pentagono parallelo è un pentagono regolare? La risposta... Non...
This website uses the awesome plugin.