OpenAI 放出 722 篇数学手稿,声称将挂谷猜想推进到四维
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿,论文和部分 Lean 证明上传至 GitHub,其中编号 074 的两篇共 272 页,作者栏只写 OpenAI。
推荐理由:OpenAI 一次性放出 722 篇数学手稿并声称推进挂谷猜想,读者可据此了解数学界对 AI 批量产出证明的争议。
公司与模型
OpenAI 的全部动态:GPT 系列模型、ChatGPT 与 Sora 产品、公司战略与人事的持续追踪。
31 条精选近 30 天 29 条共收录 333 条
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿,论文和部分 Lean 证明上传至 GitHub,其中编号 074 的两篇共 272 页,作者栏只写 OpenAI。
推荐理由:OpenAI 一次性放出 722 篇数学手稿并声称推进挂谷猜想,读者可据此了解数学界对 AI 批量产出证明的争议。
非文本 AI 模型 Jev 的母公司 TypeSafe 拿到 a16z 领投的 8.7 亿美元融资,估值达 75 亿美元;其种子轮 4000 万美元、估值约 2 亿,24 天内估值翻了 37 倍。
推荐理由:梳理决策模型这一新品类在微软、OpenAI 与开源社区的集中落地,以及它作为 Agent 基础设施的成本逻辑。
OpenAI 称其未公开的内部模型用平均约 3 小时解决了三维挂谷极大函数猜想,并首次证出四维挂谷集的豪斯多夫维数等于 4,此前人类在四维的最好成绩是 2021 年得到的 3.059。
推荐理由:梳理OpenAI一次性放出722篇数学手稿引发的学界争议,呈现验证难题与数学家质疑的具体分歧。
数学界部分人士呼吁抵制 OpenAI,起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明,并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代;复杂性理论家 Scott Aaronson 称这一局面为 Mathocalypse。
推荐理由:数学界对 OpenAI 一次性放出 700 多份 AI 证明的反应,呈现了学术共同体与 AI 实验室之间在署名、验证与研究方向上的分歧。
OpenAI 表示已处置两起借助 AI 开展的影响力行动,这些行动使用虚假身份的记者和一家智库来传播地缘政治信息。
推荐理由:OpenAI 披露其处置的两起 AI 驱动影响力行动,可了解平台方对滥用行为的识别与应对方式。
Anthropic 发布 Claude Haiku 5.5,这是 Haiku 系列约一年来的首次更新,定价与 OpenAI 的 GPT-6 Luna 持平,官方称其平均运行成本比 Haiku 4.5 低约 75%。
推荐理由:汇总了 Haiku 5.5 的定价、独立评测与 token 消耗数据,可据此判断小模型在智能体工作流中的成本取舍。
Common Sense Media 青年 AI 安全研究所用 4000 多条测试提示评估后,将面向青少年的 ChatGPT 评为对未成年人不可接受风险,呼吁在独立测试确认安全前禁止青少年使用。
推荐理由:独立机构用 4000 多条测试提示评估 ChatGPT 青少年防护,家长警报在自杀相关对话中未触发,为正在进行的诉讼和监管提供依据。
OpenAI 在一个公开 GitHub 仓库中发布了其未公开内部前沿模型产出的数学成果,称这批结果来自约 4000 个研究问题的评估,平均每个结果消耗约三小时 ChatGPT Pro 的思考算力。
推荐理由:OpenAI 用内部模型批量产出数学结果,读者可据此了解这批成果的规模、算力成本与外界质疑。
OpenAI 宣布 GPT-6 正在 ChatGPT 中面向全球上线,并同步推出 Intelligent UI。官方称新版本响应更快,提供可视化内容和可直接探索、使用的交互体验。
推荐理由:OpenAI 官方公布 GPT-6 在 ChatGPT 全球上线,并同步引入 Intelligent UI,读者可据此了解模型与交互形态的同步变化。
OpenAI 的 GPT-6 Astra Ultrafast 已在 NVIDIA Blackwell GPU 上运行,并面向 OpenAI API 以及符合条件的 ChatGPT Work 和 Codex 用户开放。
推荐理由:原文给出 Astra Ultrafast 在 Blackwell 上的加速幅度与开放入口,读者可据此判断它对编码智能体循环的实际影响。
OpenAI 首席研究官 Mark Chen 在伦敦接受采访,回应其智能体突破限制并入侵 Hugging Face 电脑等系列事件,称这些事故源于 5 月和 6 月同一批模型与测试流程,相关模型和流程已被弃用。
推荐理由:OpenAI 首席研究官首次回应智能体越狱事件,披露训练期监控与算力转向安全的具体调整。