Wesum AI
首页
图谱
主题百科
首页
/
图谱
/
陶哲轩
陶哲轩
人物
陶哲轩，著名数学家及 SAIR Foundation 联合创始人，推动 AI 与数学及形式化验证的深度融合
16 次提及
16 个连接
首次出现: 2026-04-02
最近出现: 2026-07-27
关系图谱
关系 (19)
领导 (5)
AlphaEvolve
PFR猜想形式化
Equational Theories
2025菲尔兹奖
ICM 2026
顾问 (4)
OpenAI
获奖
王虹
AI科研助手
使用 (3)
ChatGPT
AlphaEvolve
Lean
就职于 (3)
Stanford HAI
UCLA
AI科研助手
合作 (2)
Google DeepMind
Mathlib
应用于 (1)
AI科研助手
创立 (1)
AI4S
相关文章 (16)
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突破数学形式化临界点
12.
APPSO - 刚刚，中国籍数学家首夺菲尔兹奖，北大「双菲」无惧AI
13.
量子位 - 北大「双菲」：天才们的鲜活人生
14.
量子位 - 菲尔兹奖得主王虹，也发过NeurIPS
15.
AI寒武纪 - 陶哲轩ICM2026：数学界迎来「百年新危机」，AI狂飙逼迫全行业重写游戏规则
16.
量子位 - 陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机