With formalization projects, what we’ve noticed is that you can collaborate with people who don’t understand the entire mathematics of the entire project, but they understand one tiny little piece. It’s like any modern device. No single person can build a computer on their own, mine all the metals and refine them, and then create […] The post Terence Tao on AI and mathematics appeared first on Marginal REVOLUTION.
Authors
- Published in
- United States of America
- Rights
- © Tyler Cowen
