Terence Tao

陶哲轩（Terence Tao）是加州大学洛杉矶分校数学教授，2006年获菲尔兹奖，研究涵盖调和分析、数论、偏微分方程等。2023年起他公开尝试用GPT-4等大模型辅助数学猜想探索与文献整理，并提出“AI作为数学合作者”的观点，推动AI for Math社区形成，也常讨论形式化证明与Lean等工具的结合。