OpenAI 在 GitHub 发布 openai/math 仓库,722 份数学手稿引发数学界震荡
OpenAI 于10月7日在 GitHub 发布 openai/math 仓库,收录其未公开内部模型产出的722份数学手稿,归为372个成果组,覆盖数论、代数几何、偏微分方程等方向,每个结果平均花费约3小时 ChatGPT Pro 级别思考算力。
AIHOT 精选理由作者把 OpenAI 的数学成果放进从四色定理到 Lean 的机器证明史里讲,读者能看懂这次争议为何激烈。
追踪 AI 更新,查看事件时间线和原始信源;需要做购买决策时,再去比价。
当前公开精选集合,保留来源更正和撤回。最后同步:
OpenAI 于10月7日在 GitHub 发布 openai/math 仓库,收录其未公开内部模型产出的722份数学手稿,归为372个成果组,覆盖数论、代数几何、偏微分方程等方向,每个结果平均花费约3小时 ChatGPT Pro 级别思考算力。
AIHOT 精选理由作者把 OpenAI 的数学成果放进从四色定理到 Lean 的机器证明史里讲,读者能看懂这次争议为何激烈。
Hugging Face 工程师 yuvraj sharma 用 HuggingChat 的 ML Intern 模式在几天内做出 7 个模型,包括可在 CPU 运行、99.7% 有效输出的 0.8B 提示词重写器,以及将柑橘病害识别准确率从 14.9% 提升到 52.8% 的 Qwen3.5-2B 微调模型等,全部计算成本约 103 美元。
AIHOT 精选理由作者总结了预算控制、基线评测和冒烟测试等提示词写法,让 agent 自主完成数据构建、训练与发布,方法可直接迁移复用。
Anthropic 发布 Claude Dashboards 和 Claude Motion 两项 beta 功能。
AIHOT 精选理由官方发布给出了两个新功能的连接对象、使用方式和开放计划范围,读者可以据此判断是否纳入现有数据分析和演示流程。
Google AI Edge 团队以 Apache 2.0 许可开源 ML Drift,一个跨平台端侧 GPU 推理计算引擎,作为 LiteRT 的核心 GPU 加速层。
AIHOT 精选理由原文给出跨平台 GPU 推理引擎的架构升级、性能数据和生产落地案例,端侧 AI 开发者可据此评估迁移路径。
Anthropic 发表对 Block AI capabilities 负责人 Bradley Axen 的访谈,介绍 Block 用 Claude Fable 5 编排大规模代码迁移:Fable 做数据模型、API 规格等高层设计,再调度数十个更小的 Opus 或 Sonnet 模型执行文件修改和测试,一次迁移可能合并上千个 pull request。
AIHOT 精选理由Block 负责 AI 能力的负责人详述 Fable 编排多模型跑大规模迁移的做法与双审批安全机制,读者可对照自身团队的智能体工程实践。
Google 发布并开源 AQuA(Ambient Quality Agent),在 Google Cloud 项目中定时从 Cloud Trace、Cloud Logging 或 BigQuery 抽取生产会话,经抽样、评审、聚类、验证、跟踪五阶段流水线诊断 Agent 失败。
AIHOT 精选理由原文给出五阶段流水线、验证机制和实测修复数据,读者可了解生产环境智能体质量监控如何落地。
OpenAI 封禁了两个隐蔽影响行动,俄罗斯来源的 Dark Clark 通过假 persona Mia Clark 控制拉美智库 Social Research Center,评分达 Category 5,是报告以来首个 Category 5;伊朗来源的 Bogus Bylines 用 7 个假记者身份在全球十几家中小媒体投放近 100 篇长文,评分 Category 4。
AIHOT 精选理由报告基于封禁账号的第一手分析,披露了两个虚假前臆影响行动的手法与分级,读者可了解 AI 加持下隐蔽宣传的真实运作方式。
OpenRouter 宣布 GPT-6 Luna Decisions 上线。OpenAI 的 Decisions API 可让应用选择合适的模型、工具或动作,支持发送文本、JSON 或图片并返回带概率的类型化答案。定价为输入 $0.10/M、输出免费,上下文 1M;引用 OpenAI 开发者账号称其决策速度比通过 Responses API 的 GPT-6 Luna 最快 10 倍。
AIHOT 精选理由原文给出 Decisions API 的定价、上下文长度和调用方式,开发者可以直接评估接入成本与场景。
LangChain 重构 Deep Agents 的 Skills 支持,针对企业技能库增至数千个技能的场景推出三项更新:工具可绑定到技能、仅在该技能被读取时加载,用户可通过 /meeting-prep 之类的显式请求固定技能以在首次模型调用前加载,长线程可通过将 skills_metadata 设为 None 重载新增或变更的技能。
AIHOT 精选理由原文详解了 Deep Agents 技能机制的三项升级和加载原理,读者可以据此评估大规模技能库的上下文管理方案。
NVIDIA 与 Microsoft 在旧金山活动上宣布为 Windows PC 共同打造 AI Agent 软硬件。
AIHOT 精选理由原文给出 RTX Spark 的具体规格、预购时间与 MXC 的系统级细节,读者可据此评估本地跑 Agent 的硬件路线。
Cursor 公布 Claude Haiku 5.5 定价为每 M 输入 token $0.10、输出 token $0.50,输入超过 100k token 时为 $0.50/M 和 $2.50/M。Claude Sonnet 5.5 缓存读取价格也从 $0.20/M 降至 $0.10/M,用户可在 cursor.com/evals 上通过 CursorBench 对比 Haiku 5.5 的表现。
AIHOT 精选理由原文给出了 Claude Haiku 5.5 具体定价和 Sonnet 5.5 缓存读取降价,可帮助开发者评估在 Cursor 上的使用成本。
Claude Code 发布 v2.1.293,新增 Claude Haiku 5.5(claude-haiku-5-5)作为 Anthropic API 默认 Haiku 模型,支持 1M 上下文,价格为 $0.10/$0.50 每百万 token(超 100K 提示为 $0.50/$2.50)。
AIHOT 精选理由发布说明列出了新增默认 Haiku 模型、脚本接口扩展和大量稳定性修复,读者可据此判断是否升级及影响现有工作流。
Anthropic 正在为 Claude Max 和 Team 套餐推出月度 Claude Platform API 额度:Max 5x 为 $100,Max 20x 为 $200,Team 最多 $500 且可共享。额度适用于任何模型,包括 Haiku 5.5,可在自己的代码或第三方 harness 中使用。
AIHOT 精选理由原文给出了 Max 和 Team 套餐的月度 API 额度金额与适用范围,读者可据此判断是否值得调整现有订阅。
Anthropic 宣布将 Claude Sonnet 5.5 的缓存读取价格减半,降至每百万 token $0.10。官方称这使 Sonnet 5.5 在多数长期运行任务上的运行成本降低约 20%。
AIHOT 精选理由官方宣布缓存读取价格减半并给出长期任务成本降幅,可直接据此评估 Claude Sonnet 5.5 的使用成本。
OpenAI 发布面向更广泛用户的 GPT-6,并随 GPT-6 在 ChatGPT 中引入 Intelligent UI,可生成图形、按钮、表单、图表和可交互组件来回答问题。
AIHOT 精选理由官方说明了 Intelligent UI 的组件库与编译器机制,并给出 GPT-6 与 GPT-5.6 的具体对比数据,读者可了解交互形态与响应速度的实际变化。
Perplexity 开源 pplx-embed-v2-late,两个针对文本和图像的 late-interaction 多向量嵌入模型,大小为 9B 和 0.6B,共享同一嵌入空间,权重已在 Hugging Face 提供。9B 可用于索引多模态数据,0.6B 可在设备端查询,无需 OCR 即可检索 PDF 页面;模型在 MADQA 得分 92.4%,BrowseComp+ 得分 64%。
AIHOT 精选理由原文给出两个规模的嵌入模型、共享空间用法和基准分数,读者可据此评估多模态检索与端侧查询的可行方案。
Unsloth 发布教程与开源仓库,可将 Qwen3.8、Gemma 4 等 LLM 微调为输出选项概率的决策模型,Qwen3.5 0.8B 在 3 个决策基准上的合计准确率从 20.7% 提到 74.3%,仅需 4GB 显存。
AIHOT 精选理由原文给出完整微调方法和前后准确率对比,读者可在 4GB 显存上复现把 LLM 转成决策模型的流程。
Anthropic 发布 OSS Scanner,一个可选加入的开源漏洞扫描服务,用其最强模型(包括 Claude Mythos)定期免费扫描开源项目,输出为全模型生成、无人工复核的报告。
AIHOT 精选理由原文给出扫描准确率、人工验证数据和维护者反馈,读者可评估这个免费开源安全扫描服务的实际信号质量与参与方式。
Microsoft Research Asia 提出 Harnessed Agentic RL 训练范式并开源重建的 Agent Lightning v1.0,让部署时使用的同一 agent harness 直接参与强化学习,无需在训练框架内重写 agent。
AIHOT 精选理由框架让部署中的真实 agent harness 直接参与 RL 训练,无需重写 agent 代码,还给出了端到端编码智能体训练效果作参考。
作者基于为跨公司工作的 Agent 构建记忆系统一年的经验指出,AI 失败的常见原因不是模型推理差,而是它看不到关键决策上下文,多数 agent memory 只是给瞎子更大的档案柜。
AIHOT 精选理由作者以自建系统的一手实测数据说明为何该把记忆当受治理的记录而非存储,三个设计决策和成本数字可直接迁移。