5 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Kevin Buzzard
Computers have already changed the way that humans do mathematics: they enable us to compute efficiently. But will they soon be helping us to reason? And will they one day start re…