Get the latest tech news
We’re Entering Uncharted Territory for Math: Terence Tao, the world’s greatest living mathematician, has a vision for AI.
Terence Tao, the world’s greatest living mathematician, has a vision for AI.
In a Zoom call last week, he described a kind of AI-enabled, “industrial-scale mathematics” that has never been possible before: one in which AI, at least in the near future, is not a creative collaborator in its own right so much as a lubricant for mathematicians’ hypotheses and approaches. This new sort of math, which could unlock terrae incognitae of knowledge, will remain human at its core, embracing how people and machines have very different strengths that should be thought of as complementary rather than competing. Tao: Technically they aren’t classified as AI, but proof assistants are useful computer tools that check whether a mathematical argument is correct or not.
Or read this on r/technology
