Se le recenti soluzioni di problemi aperti da anni saranno confermate, una macchina sta superando gli umani in una delle abilità logiche più difficili: la dimostrazione. Mentre riviste e archivi faticano a reggere il nuovo ritmo, Alberto Gandolfi prova a immaginare che cosa ci aspetta: dimostrazioni su preventivo, una matematica “umana” praticata per scelta e […]L'articolo Scenari incredibili, dietro l’angolo proviene da Maddmaths!.