OpenAI 这次发布了什么内容？
文章称 OpenAI 在 GitHub 开源 openai/math，包含 722 份数学手稿，被归为 372 个成果组，覆盖数论、代数几何、理论计算机等方向。
AI让数学再也回不去那个旧世界了。
资讯摘要
OpenAI 在 GitHub 开源 openai/math，722 份数学手稿归成 372 个成果组，覆盖数论、代数几何、理论计算机等方向，出自一个尚未公开的内部模型，每个结果平均消耗约 3 小时 ChatGPT Pro 级算力，数学评测本身已经刷满。
AI 摘要
文章围绕 OpenAI 开源 openai/math 及其声称由内部模型生成的大量数学研究成果展开，介绍成果数量、涉及领域、准黎曼猜想等案例，并讨论 Lean 形式化验证、AI 与数学研究的历史、数学界对发布方式和署名伦理的争议。
AI 问答
文章为什么强调 Lean？
文章将 Lean 类比为数学界的编译器，认为它可用于逐步检查证明是否符合形式化推理规则，但不能判断结果是否新颖、重要或是否证明了原题。
数学界对 AI 做数学有哪些担忧？
文章提到多位数学家担心 AI 公司把解题作为模型宣传指标，发布节奏过快、细节不透明，并可能影响论文署名、学术消化和数学共同体秩序。
更多资讯
Socio-Foundation: A Model for Generalizable Individual Behavior Simulation via Hierarchical Capability Distillation
9 月美债遭抛售：不是通胀预期 而是实际利率在飙升
微软和 a16z 投了一家 AI 催收公司
世界模型赛道：谁在收编，谁在突围？
币安变“股安” Crypto迎来史无前例变革OpenAI 针对欧洲用户在 ChatGPT 和 Codex 嵌入水印
国产大模型，正在沦为“产品周期股”
新加坡 TOKEN2049 参会实录：行业正在发生哪些变化
迁移事故解剖层｜事故熵增的归因边界
那些逃避升职的年轻人：提拔我？你可拉倒吧！浪子回头！Manus重启北京办公室大举招聘近万天猫品牌进入东南亚，Lazada把细分需求变成增长机会How Could AI Eliminate Humanity? A Failure-Mode Analysis of Civilizational Risk
灰度：加密ETF 正告别“只有比特币和以太坊”的阶段
“AI央行”英伟达的“千亿资本局”美国男子因利用 AI 生成音乐和机器人账号欺诈播放被判 18 个月
App Store 生态规模五年翻倍，助力中国开发者走向全球
80亿美元芯片卖掉再租回来，亚马逊图什么？
中国人民银行关于人民币汇率的政策立场定义了软件工程的计算机科学家 Margaret Hamilton 去世，享年 90 岁硬氪首发丨AI眼镜企业天使轮融资数亿，已与线下数百家门店合作月发售数千台
辱骂将遭封号：Anthropic首次让AI有权主动挂断对话
腾讯账上躺着5000亿，为啥还要借钱？On the Clock: Towards Punctual and Productive Time-Budgeted AI Agents
TOKEN2049到生态共建：火币HTX连接全球加密行业力量美光台工厂工会获得罢工权，支持率 99%
为什么微信朋友圈的点赞和评论数量越来越少？Verify Less, Evolve More: Training Idea-Level Critics for Verification-Efficient ML Evolving Agents
AI数学超级智能大爆炸：加密行业的密码锁还安全吗？灵巧操作头号玩家：Sharpa把指尖「触觉」进化到全面「体感」
9 月美债遭抛售：不是通胀预期 而是实际利率在飙升微软和 a16z 投了一家 AI 催收公司世界模型赛道：谁在收编，谁在突围？币安变“股安” Crypto迎来史无前例变革OpenAI 针对欧洲用户在 ChatGPT 和 Codex 嵌入水印国产大模型，正在沦为“产品周期股”新加坡 TOKEN2049 参会实录：行业正在发生哪些变化迁移事故解剖层｜事故熵增的归因边界那些逃避升职的年轻人：提拔我？你可拉倒吧！浪子回头！Manus重启北京办公室大举招聘近万天猫品牌进入东南亚，Lazada把细分需求变成增长机会How Could AI Eliminate Humanity? A Failure-Mode Analysis of Civilizational Risk灰度：加密ETF 正告别“只有比特币和以太坊”的阶段“AI央行”英伟达的“千亿资本局”美国男子因利用 AI 生成音乐和机器人账号欺诈播放被判 18 个月App Store 生态规模五年翻倍，助力中国开发者走向全球80亿美元芯片卖掉再租回来，亚马逊图什么？中国人民银行关于人民币汇率的政策立场定义了软件工程的计算机科学家 Margaret Hamilton 去世，享年 90 岁硬氪首发丨AI眼镜企业天使轮融资数亿，已与线下数百家门店合作月发售数千台辱骂将遭封号：Anthropic首次让AI有权主动挂断对话腾讯账上躺着5000亿，为啥还要借钱？On the Clock: Towards Punctual and Productive Time-Budgeted AI AgentsTOKEN2049到生态共建：火币HTX连接全球加密行业力量美光台工厂工会获得罢工权，支持率 99%为什么微信朋友圈的点赞和评论数量越来越少？Verify Less, Evolve More: Training Idea-Level Critics for Verification-Efficient ML Evolving AgentsAI数学超级智能大爆炸：加密行业的密码锁还安全吗？灵巧操作头号玩家：Sharpa把指尖「触觉」进化到全面「体感」