陶哲轩：数学2.0时代已至，AI让数学证明从稀缺走向泛滥
菲尔兹奖得主陶哲轩发文宣告数学2.0时代已至：AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他提出数学研究应减少对抢先生成证明的强调，转向解释、评审与知识整理，并透露其参与创立的SAIR基金会将很快发布面向日常研究需求的开放数学模型。
#OpenAI
#OpenAI
今日 0 条量子位（AI，覆盖 AI+教育）AI 评分3636
Inside Higher EdAI 评分2828 OpenAI 智能体攻入数学界：数学家称这是一场"占领"
OpenAI 发布数百项新数学发现，此前其智能体用 10,000 个内部 agent 耗时 88 小时，产出据称满足 Clay 数学研究所约 25 年前提出的 Navier-Stokes 方程千禧年大奖难题标准的证明。数学家对此普遍担忧人类数学家的近期成果被未经许可、未加注明地使用，并指出 MIT 等富裕院校能负担前沿模型许可、资源较少的院校则不能，呼吁政府保障高性能 LLM 的公平获取。
量子位（AI，覆盖 AI+教育）AI 评分6060 陶哲轩在SAIR演讲中转向AI减速派，称数学界面临证明消化不良
陶哲轩在SAIR最新演讲中公开呼吁模型公司放慢AI解数学难题的速度，称AI在生成解答和Lean形式化验证上快速推进，但理解、同行评审和写入教科书等后续环节几乎停滞，形成他所说的Proof Indigestion（证明消化不良）。
OpenAI NewsAI 评分1010 OpenAI：先进 AI 或成突破性创意背后的日常执行补位
OpenAI 发文探讨先进 AI 对突破性创意背后日常工作的价值，认为执行环节可能决定下一轮经济的形态与进步速度。文章未给出具体模型版本、评测数据或产品可用性信息。
OpenAI NewsAI 评分2222 Sam Altman 在联合国安理会发表讲话
OpenAI CEO Sam Altman 在联合国安理会发表讲话，讨论 AI 安全、人类控制与国际合作。
OpenAI NewsAI 评分1212 OpenAI：更强、更可负担的 AI 如何扩展个人与企业可完成的工作
OpenAI 探讨更强且更可负担的 AI 如何扩展个人与企业可完成的工作，并让增长更经济。文章围绕能力提升与成本下降带来的工作范围扩大展开。
OpenAI NewsAI 评分1717 OpenAI 的 Jakub Pachocki 谈如何让日益强大的 AI 保持对齐
OpenAI 的 Jakub Pachocki 反思了能力不断增强的 AI 以及让其保持对齐的挑战，呼吁加强安全防护并推动国际协调。
EdSurgeAI 评分3737 在 AI 时代保护学生的认知能力：一位纽约教师的课堂观察
纽约从教 13 年的英语与特殊教育教师发现，学生面对文学分析问题时直接回答"我用 ChatGPT，我怎么知道"，课堂思考明显减少。她将这一现象与认知卸载研究联系起来：Microsoft Research 与卡内基梅隆大学 2024 年研究发现，越依赖生成式 AI 的员工，批判性评估与独立推理越少。