5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.AI2025
Mathematical reasoning and the computer
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…
math.HO2022★ 5 cited
Mathematical Proof Between Generations
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard +7
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This…