Invited Talk - Is Mathematics Obsolete?
Jeremy Avigad
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