Invited Talk - Is Mathematics Obsolete?
Jeremy Avigad
2025
in
Workshop: 2nd AI for Math Workshop @ ICML 2025
in
Workshop: 2nd AI for Math Workshop @ ICML 2025
Abstract
This talk explores the relationship between neural and symbolic AI, the nature of mathematical reasoning, and the importance of mathematics to AI.
Video
Chat is not available.
Successful Page Load