Concept
Math 2.0
A concept for a new mathematical research paradigm proposed by mathematician Terence Tao. It refers to a mode of research that leverages formal verification tools, AI collaboration, and large-scale open collaboration platforms to overcome limitations of traditional mathematical research in verification cost and collaboration scale.
Timeline (last 90 days)
Oct 11
Terence Tao outlined his thinking on the future form of mathematical research with a presentation titled "Math 2.0".
Unverified50%