跳到正文

#观点研究

今日 1 条
今天10月18日周日
10月16日周五
  1. 量子位22

    OpenAI 纳维-斯托克斯方程证明反转:未走「西班牙路线」,公司自己也没看懂

    《科学美国人》最新报道指出,OpenAI 的纳维-斯托克斯方程证明实际采用了与西班牙数学家不同的方法,而非此前 OpenAI 自己宣称的「西班牙路线」。该证明于 9 月公布,共 166 页,系统还生成了 Lean 形式化代码,但形式化验证成立不等于人类理解其数学思想。OpenAI 随后又公开 722 篇数学手稿、涵盖 372 组研究成果,数学家已难以跟上 AI 产出证明的速度。

10月13日周二
10月11日周日
10月8日周四
  1. Fortune38

    OpenAI 发布超 370 个未解数学难题的 AI 解答,数学家群体反应两极

    OpenAI 用一款未发布的内部 AI 模型,为 370 多个悬而未决的数学问题给出完整或部分解答,平均每个问题耗时约 3 小时算力,其中涉及三个千禧年大奖难题的进展但未完全解决。部分数学家认为这开辟了新探索空间,另一些人则批评这是对数学作为人类学科的冲击,已有组织发公开信呼吁同行停止与 OpenAI 合作。OpenAI 已撤回至少三个问题的解答,且并非所有解答都提供了可被软件验证的形式化证明。

10月7日周三
  1. 量子位17

    Meshy 跻身 a16z 消费级 AI 应用月收入 Top 50,为榜单唯一 AI 3D 公司

    Meshy 在 a16z 首份消费级 AI 应用月收入榜单中位列第 31 名,是榜单上唯一的 AI 3D 公司,与 OpenAI、Anthropic、Canva 等共同上榜。该榜单随 a16z 第七版《百强AI消费者应用》报告发布,首次依据 YipitData 追踪的美国消费者银行卡消费数据排名。Meshy 年度经常性收入已突破 1 亿美元,全球注册用户超 1500 万。

10月5日周一
10月4日周日
10月2日周五
  1. 量子位26

    丘成桐新论文致谢 GPT 6 Astra 和 Claude Pro,宣称解决 44 年前自己列出的七维怪球正曲率问题

    丘成桐参与的最新论文在致谢中感谢 GPT 6 Astra 和 Claude Pro 在部分证明策略探索与计算中提供的帮助,论文宣称证明七维空间 28 种球面(含 27 种「怪球」)每一种都能配上截面曲率严格为正的度量,该问题 1982 年被丘成桐列入自己的问题清单并排在第二位。论文还附带一套用 SageMath 编写的验证代码,并声明人工验证与论文写作责任由作者承担。

10月1日周四
9月30日周三
9月29日周二
  1. 阿里技术(公众号)65

    阿里稳定性团队复盘 AI Native 前端实践:用 Skill 与 Plugin 把规范带进 AI 编码

    阿里稳定性团队前端王僖复盘了团队半年的 AI Native 研发转型,核心问题是当后端、产品、设计都能借 AI 写前端后,如何保证交付质量。

    推荐理由:一支稳定性团队把 AI 生成代码纳入真实交付的完整复盘,给出了 Skill、Plugin 与分库协作的具体做法和量化结果。

9月28日周一
  1. 极客公园(公众号)62

    拼多多雄安团队三个月超5000人,承担数据标注与平台治理

    拼多多今年5月底进入雄安,三个多月后雄安团队已超过5000人,并提前完成年度专项招聘计划,新办公楼和员工食堂陆续投入使用。雄安公司定位为传统产业数据处理服务中心和传统制造高质量发展综合服务中心,已承担算法标注、模型标注(涉及搜索推荐体验优化、图生视频训练)以及商家商品准入、内容审核、广告治理、安全合规等平台治理工作,6月以来推出106项专项治理举措。

9月27日周日
9月24日周四
9月23日周三
9月21日周一
9月12日周六
  1. Datawhale(公众号)74

    OpenAI 公开内部 RSI 进展:Agent 工时达人类研究员 3.1 倍

    OpenAI 于 9 月 6 日发布技术测量报告《研究加速:OpenAI 内部视角》,披露内部编程 Agent 推进递归自我改进(RSI)的实测数据:截至 2026 年 8 月中旬,研究部门每消耗 1 个人类工作日对应产生 3.1 个 Agent 工作日,Agent 承担超过 75% 的实际工时,人均输出 token 从去年 12 月到今年 8 月增长 124 倍。