Il verdetto, a quanto pare, è stato emesso: l'intelligenza artificiale non è destinata a sostituire i matematici. Questa è la conclusione immediata che si può trarre dalla sfida First Proof, forse il ...