Wesum AI
首页
图谱
主题百科
首页
/
图谱
/
陶哲轩
陶哲轩
人物
陶哲轩，著名数学家及 SAIR Foundation 联合创始人，推动 AI 与数学及形式化验证的深度融合
11 次提及
12 个连接
首次出现: 2026-04-02
最近出现: 2026-06-23
关系图谱
关系 (14)
领导 (3)
AlphaEvolve
PFR猜想形式化
Equational Theories
使用 (3)
ChatGPT
AlphaEvolve
Lean
就职于 (3)
Stanford HAI
UCLA
AI科研助手
合作 (2)
Google DeepMind
Mathlib
顾问 (1)
OpenAI
应用于 (1)
AI科研助手
创立 (1)
AI4S
相关文章 (11)
1.
AGI Hunt - 陶哲轩：AI时代的高中生，也能对数学做出突出贡献
2.
人工智能学家 - 陶哲轩：“有时它们（AI)能发现我犯的错误，有时我也能发现它们的错误，目前大致是平手。”.
3.
ScienceAI - 多位数学家谈AI在数学领域的影响：数学的AI拐点已出现
4.
量子位 - 陶哲轩在线安利ClaudeCode：审稿意见全给它，15分钟欧了
5.
量子位 - 数学专业，危！菲尔兹奖得主亲测ChatGPT5.5Pro，17分钟出论文级成果
6.
新智元 - 2小时搞定博士论文，3天终结40年悬案：AI宣判数学「死刑」？
7.
机器之心 - 字节奖学金首次全球开放，五年67位得主去向追踪
8.
量子位 - 陶哲轩FirstProof二期结果出炉！最低8美元1题，AI烧出7道论文级解法
9.
量子位 - 陶哲轩：几周前，AI突破数学形式化临界点
10.
人工智能学家 - 陶哲轩12年前的预言，现在AI帮他兑现了
11.
人工智能学家 - 陶哲轩：几周前，AI突破数学形式化临界点