清华学者刘子鸣创办元环智能，半年融资数亿元做AI设计模型
成立不到半年的元环智能（MetaCircle）宣布连续完成种子轮和种子+轮融资，累计金额达数亿元，种子轮由顺为资本领投，种子+轮投资方包括上海半导体产投、360战投、BV百度风投等，资金将用于核心算法研发、阶段性产品探索、团队扩充和评测基准建设。
#论文/研究
InfoQ 中文AI 评分5858
量子位精选AI 评分7676 OpenAI 公开 722 篇数学手稿，称将挂谷猜想扩展至四维
OpenAI 于 10 月 7 日一次性放出 722 篇数学手稿，论文和部分 Lean 证明上传 GitHub，作者栏只署 OpenAI。其中编号 074 的两篇共 272 页，一篇声称证明三维挂谷极大函数猜想，比王虹与 Joshua Zahl 的版本更强，另一篇声称把四维挂谷集的 Hausdorff 维数直接证到 4。
推荐理由：OpenAI 一次性放出 722 篇数学手稿，其中两篇把挂谷猜想从三维推到四维，可据此观察 AI 批量产出数学证明引发的审稿与署名争议。
The Decoder精选AI 评分8787 OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果
OpenAI 在 GitHub 发布 372 条由内部前沿模型生成的数学结果，每条据称解决或显著推进了一个未解问题，其中包含对重要计算机算法的改进以及与黎曼假设相关的进展。
推荐理由：OpenAI 把 372 条 AI 生成的数学结果直接发到 GitHub，读者可据此观察学术评审流程与 AI 产出速度之间的张力。
Latent Space精选AI 评分8888 OpenAI 内部模型发布 722 篇数学手稿，称解决 500 个公开数学难题中的 90 个
OpenAI 从一个未公开的内部前沿模型发布了一批数学成果，公开在 GitHub 仓库中，包含 722 篇手稿、分为 372 个相关结果族，来自约 4000 道研究问题的评测，平均每个结果约用 3 小时 ChatGPT Pro 思考算力。
推荐理由：OpenAI 内部模型一次产出 722 篇数学手稿，读者可据此了解 AI 做数学的规模、算力成本与外界质疑。
TechCrunch · AI精选AI 评分7878 NYU数学家称OpenAI在千禧年数学难题上抢先并施压
NYU数学教授Tristan Buckmaster宣布与Anthropic数学家Levent Alpöge合作，借助Codex和Claude模型在Navier–Stokes存在性与光滑性问题（千禧年大奖难题之一）上取得阶段性证明，并指控OpenAI在其成果公开前获知其进展后抢先发布完整证明。
推荐理由：围绕同一数学难题的优先权争议，呈现了AI参与学术研究时的算力优势与署名伦理冲突。