AF
Automated formal mathematics
Topic
What experts have said about Automated formal mathematics
1 statement · 1 positive
Automated formal mathematics could run autonomously for a decade and produce results.
“you could press go and then just pour, compute at it and look away for 10 years and then come back and say, what do you have? And there's going to be something.”
Open the episode · Grant Sanderson – AI and the future of mathListen at 59:21
Statements are attributed to the speaker as said on the episode and reflect their view at the time, not PodLume's. They are not advice.