Interactive theorem proving with AI and machine learning is a promising direction for testing generalization ability and represents a legitimate test case for whether AI systems can truly reason and adapt to new mathematical domains.
normativepending
Speaker
François CholletEvidence Quote
“I think that's that's very promising and I definitely want some more of that.”
Source
Francois Chollet | Why abstraction is the key to intelligence, and what we’re still missing— Harvard CMSACreated: 8/12/2026, 6:07:58 PM
My Notes
Loading notes...