王虹

人工智能
2026-08-20 11:03:11

陶哲轩与王虹聚焦 AI 数学证明“消化”环节

围绕 AI 大量介入数学证明,陶哲轩与王虹给出了接近一致的判断:数学界不能只停留在“证明已得出”,还需要理解、整理并消化成果。陶哲轩以 Sendov 猜想为例,说明 AI 更擅长生成与验证,后续的阐释、发表和知识沉淀仍依赖数学家。他还公开了面向 Lean 验证结果的登记库 Palomar,试图为 AI 证明建立从验证到发表之间的整理与协作机制。

20
陶哲轩与王虹聚焦 AI 数学证明“消化”环节
王虹
2026-07-24 01:17:00

王虹获 2026 菲尔兹奖:从迷茫本科生到攻克挂谷猜想

PANews报道,2026年菲尔兹奖得主王虹并非传统意义上的数学神童。她没有奥数训练,本科阶段曾经历迷茫,赴巴黎后还一度转向建筑,最终因对数学的热爱回到研究。2025年,她与约书亚·扎尔以一篇127页论文解决困扰数学界百余年的三维挂谷猜想,从北大学子成长为国际高等科学研究院首位女性终身教授。

160
王虹获 2026 菲尔兹奖:从迷茫本科生到攻克挂谷猜想
Polymarket
2026-07-16 07:00:29

Polymarket 上 4 位数学家获菲尔兹奖概率升至 98% 以上

PPP 预测市场工具监测显示,Polymarket 上邓煜、王虹、约翰·帕登和雅各布·奇梅尔曼获得 2026 年菲尔兹奖的概率,过去一周均大幅上升至 98% 以上。2026 年国际数学家大会将于 7 月 23 日在美国费城召开,菲尔兹奖等多个奖项届时公布。相关名单目前仍未获官方确认。

680
Polymarket 上 4 位数学家获菲尔兹奖概率升至 98% 以上