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

da | 7th Luglio 2026 | AILAxMaddMaths!, Metodi | Commenti 0

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...
Leggi di più

Fine del divertimento?

da | 6th Luglio 2026 | Diario di un matematico non praticante | Commenti 0

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.

Leggi di più

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

da | 3rd Luglio 2026 | Problemi, Rudi Mathematici | Commenti 0

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...
Leggi di più

Il Premio Riemann alla matematica Sylvia Serfaty

da | 2nd Luglio 2026 | Eventi, Persone | Commenti 0

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...
Leggi di più

Come battere Wordle con la matematica 

da | 30th Giugno 2026 | News | Commenti 0

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ì:...
Leggi di più
RM317, Giugno 2025, è in linea

RM317, Giugno 2025, è in linea

da | 20 Giugno 2025 | Newsletter

RM317 – il pdf RM317 – l’e-book Lo sappiamo che lo sapete, ma ci piace ricordarvelo: quello che esce oggi è un numero primo, nell’universo dei numeri d’ordine di RM. Il numero è infatti 317, e non c’è dubbio che ha persino l’aspetto immediato di un...
Quick & Dirty – Angoli massimi

Quick & Dirty – Angoli massimi

da | 23 Maggio 2025 | Problemi, Rudi Mathematici

Sia C un cerchio di centro O, e Q un punto interno a C diverso da O. Dove deve essere posto un punto P sulla circonferenza di C per massimizzare l’angolo OPQ? La risposta... Non cliccate qui se non ci avete pensato! Poi è troppo tardi! Pensiamo al punto P come fisso,...
RM316, Maggio 2025, è in linea

RM316, Maggio 2025, è in linea

da | 19 Maggio 2025 | Newsletter

RM316 – il pdf RM316 – l’e-book Maggio è il mese centrale della primavera, e se non ci credete basta fare i conti. Le stagioni hanno il consolidato vizio di durare tre mesi, ma di sparpagliarsi su quattro; la primavera, ad esempio, invade marzo...
This website uses the awesome plugin.