Avigad, Jeremy
Feb-26-2025–arXiv.org Artificial Intelligence
This is an essay about the value of mathematical and symbolic reasoning in the age of AI.
arXiv.org Artificial Intelligence
Feb-26-2025
arXiv.org PDF
Add feedback