OpenAI 成立数学家顾问组,与 Anthropic 掀百题证明竞速
ShenRaphael · x · 2026-09-22
OpenAI 宣布成立独立数学家顾问组,由数学家参与评估和传播 AI 在数学上的新成果、维护学术标准,并开发支持数学研究的工具。
背景是两大实验室正围绕数学证明能力较劲:传闻 OpenAI 解决了 105 个数学证明,Anthropic 解决了 106 个,因无法确认谁先突破 100 个,双方决定再比一次。
所属事件:OpenAI 称新模型解决百余数学难题并设数学家顾问组(59 条相关)→
「公司和人」频道最新
- Anthropic 向 CNCF 维护者送出 3000 个 Claude Ultra 兑换码 — HowDevelop · 2026-11-12
- LegalBench 作者加入 Crosby,将主持法律 AI 评测研讨会 — graceisford · 2026-11-12
- Georgia Tech 教授 Molei Tao 招收扩散语言模型方向博士生与博后 — gautamcgoel · 2026-11-12
- YC 联合创始人重提 Theranos:别忘了最初吹哨人 Tyler Shultz — ycombinator · 2026-11-12
- Meta 开源八年打磨的设计系统 Astryx：150+ React 组件 — techNmak · 2026-11-12
- Google 工程师确认：内部一直在用 Gemini 写代码 — zacharynado · 2026-11-12