5 citations · 5 across the 2 of their papers we have counts for
1 paper · 2 filters
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…