Terence Tao
An Australian-American mathematician and Fields Medalist whose research focuses on harmonic analysis, number theory, and combinatorics, among other areas; he proposed the concept of "Math 2.0" to explore AI-assisted mathematical proof.
Timeline (last 90 days)
Fields Medal winner Terence Tao has proposed that mathematics may move from an era of "proof scarcity" to an era of "proof abundance" thanks to AI and mechanized verification.
In 2023, Terence Tao used Lean to complete the formalization of the proof of the Polynomial Freiman–Ruzsa conjecture through community collaboration.
2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明
All Facts (3)
Fields Medal winner Terence Tao has proposed that mathematics may move from an era of "proof scarcity" to an era of "proof abundance" thanks to AI and mechanized verification.
50%Unverified2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明
50%UnverifiedIn 2023, Terence Tao used Lean to complete the formalization of the proof of the Polynomial Freiman–Ruzsa conjecture through community collaboration.
50%