Nel 2002 un articolo di Agrawal, Kayal e Saxena dal titolo "PRIMES is in P" scuoteva il mondo scientifico e metteva in agitazione i più importanti quotidiani internazionali.
Il sunto era davvero lapidario: "We present an unconditional deterministic polynomial-time algorithm that determines whether an input number is prime or composite".
In questo incontro si cercherà di capire il significato e il peso che hanno - in questo contesto - le parole "unconditional", "deterministic" e "polinomyal-time".
Si vedrà perché oggi è indispensabile trovare in frazioni di secondo numeri primi con centinaia di cifre, e si faranno escursioni nell'affascinante mondo dei primi, toccando tra l'altro un paio di "problemi del millennio".
