- Congetturare è un lavoro di intuito, che si basa su conoscenza ed esperienza. Eppure pare che l’intelligenza artificiale sia arrivata a conquistare anche questo: uno degli ultimi bastioni in cui l’intelligenza umana sembrava ancora resistere.
- È recente la pubblicazione di un articolo su Nature da parte di un gruppo di ricercatori israeliani di quella che hanno chiamato la “Ramanujan Machine”: un algoritmo per la creazione automatica di congetture sulle costanti universali.
- S. R. Ramanujan è il prototipo del genio matematico. Nato poverissimo a Madras, in India, nel 1887, fu un bambino prodigio che studiò la matematica da autodidatta.
Il lavoro dei matematici si può dividere praticamente in due attività distinte: elaborare congetture, cioè ipotesi, e poi dimostrarle. Solo quando una congettura è dimostrata diventa finalmente un “teorema”. Una congettura è una visione, un’epifania: la rivelazione di una forma precisa. La dimostrazione è arrivare a quella forma. Un matematico è un esploratore che tasta nel buio uno spazio, pensando sia fatto in un certo modo, intravedendo una legge in un movimento che è caotico solo in super
