数学家呼吁抵制OpenAI，AI生成证明引发学术领域担忧
菲尔兹奖得主陶哲轩等数学家发表声明，指责OpenAI未经同意就大规模发布AI生成的数学证明，称其为"力量的展示"而非学术贡献。OpenAI此前声称其模型一个月内解决了100多个开放数学问题，包括纳维-斯托克斯问题的一个解法。数学家们担忧AI正在改变数学研究的本质，从概念理解转向问题解决，并引发版权和归属问题。
全部科技财经动态
The DecoderAI 评分7070 TechCrunch · AIAI 评分5353 OpenAI的数学解决方案尚未达到领域标准
OpenAI本周发布了数百份号称解决了世界最困难数学问题的解决方案，但数学专家认为这些解决方案未达到领域标准，特别是在人类理解方面存在不足。普林斯顿大学高级研究所的人工智能与数学咨询组(AGMAI)建议前沿实验室应停止在专有模型上测试高级数学问题，并强调需要人类数学家的参与来确保解决方案的可理解性和可靠性。
TechCrunch · AIAI 评分4545 Anthropic 更新使用政策，禁止模型滥用和选举干预
Anthropic 更新使用政策，新增禁止选举干预、武器软件、监控及持续言语滥用模型。政策明确禁止用户对模型进行反复恶意互动，但仅针对极端情况，不涵盖常见用户挫败或创意主题。此前 Claude 已训练可终止有害对话，新政策进一步限制此类行为。
Latent SpaceAI 评分7575 Periodic Labs创始人谈AI科学家的未来：从半导体到超导体的合成超级智能
Periodic Labs创始人Liam Fedus和Ekin Dogus Cubuk在播客中讨论了AI科学家实验室如何通过物理实验与AI结合推动材料发现，强调了科学发现与数学和编程的根本区别，以及为什么即使是最前沿的模型仍需物理实验。
Hugging Face BlogAI 评分4343 Hugging Face 推出 Falcon-ASR 语音识别模型
Hugging Face 发布 Falcon-ASR，支持阿拉伯语（含阿联酋方言）、英语、法语等五语言，参数规模 1.6B。在阿拉伯语评测中平均词错率（WER）20.92%，优于最佳公开结果 23.17%；阿联酋方言 WER 22.73%，并提供词级时间戳功能。
开源中国AI 评分7878 Claude Haiku 5.5 发布：价格降至四分之一，agent 能力提升 39%
Anthropic 发布 Claude Haiku 5.5，成为目前最快的小模型，价格降至 Haiku 4.5 的约四分之一，agent 能力从 0 提升到 39%。
开源中国AI 评分5555 德国搜索引擎Ecosia终止与Mistral合作转用中国开源模型
德国环保搜索引擎Ecosia宣布结束与法国Mistral的合作，改用中国开源模型为主，CEO表示对Mistral质量失望，认为其已落后竞争对手一整年。
量子位AI 评分7575 UniPat AI发布PaperBenchX基准，评测AI科学论文复现能力
UniPat AI发布PaperBenchX基准，测试AI在93个真实论文复现任务中的表现，结果显示最强模型GPT-6 Astra完整复现率仅为13.98%。该基准覆盖12个研究方向和10种科学软件环境，通过重新执行工作流验证结果，首次量化了AI与General AI Scientist之间的能力差距。
开源中国AI 评分8585 OpenAI 推出 GPT-6 全球推送
OpenAI 于 10 月 7 日起向 Plus、Pro、Business、Enterprise 用户推送 GPT-6 Sol，10 月 8 日向 Free 和 Go 用户推送 GPT-6 Luna，同时推出 Intelligent UI 新界面。
Latent SpaceAI 评分7676 Anthropic 发布 Claude Haiku 5.5，性能优于 GPT-6 Luna 且价格相同
Anthropic 发布 Claude Haiku 5.5，这是其小型模型约一年来的首次更新，价格与 OpenAI 的 GPT-6 Luna 相同。该模型被定位为与 Opus 5.5 或 Sonnet 5.5 配对的子智能体，用于高容量、成本敏感的工作。
IT之家AI 评分6565 德国搜索引擎Ecosia放弃Mistral转而采用中国开源AI模型
德国搜索引擎Ecosia因对法国Mistral模型质量失望及环保、主权担忧，转而采用中国开源AI模型Qwen、GLM和Kimi，实现成本降低一半并获得性能提升。
开源中国AI 评分8585 Mistral 发布 Mistral Large 4 模型
Mistral 发布了名为 Mistral Large 4 的新模型，具有 1 万亿参数和 520 亿稀疏激活的原生多模态能力，代号 Le Chonk，已在 Mistral Studio 上线公开预览，权重将于月底发布。
IT之家AI 评分6565 PFN 发布 PLaMo 3 Translate 31B 模型：日语翻译表现优于 GPT-6.1 Sol
PFN 发布 PLaMo 3 Translate 31B 翻译模型，支持 53 种语言，在四项翻译基准测试中平均分数优于 GPT-6.1 Sol 和 GPT-6 Astra，日语处理成本仅为每 10 万字符 14 日元。
钛媒体AI 评分8181 Anthropic发布Haiku 5.5并大幅降价
Anthropic发布Haiku 5.5模型，将短上下文调用价格降低90%，上下文窗口从20万扩大到100万Token，并新增Adaptive Thinking和Browser Use功能。同时宣布Sonnet 5.5缓存读取价格减半，并为Max和Team用户提供额外API额度。
钛媒体AI 评分8585 GPT-6全球上线、Claude Haiku 5.5降价，AI巨头假期动态
OpenAI宣布GPT-6开始面向全球ChatGPT用户推出，采用边想边答方式和智能界面；Anthropic推出Claude Haiku 5.5，称其为速度最快、最便宜、功能最强的Haiku系列小型模型，综合运行成本比上一代低约75%。
钛媒体AI 评分7575 90后接管国产大模型：刘大一恒、陈宇森等年轻负责人引领行业变革
2026年9月，国产大模型公司密集完成管理层交接，多位90后年轻人接管核心岗位。刘大一恒担任阿里Qwen大模型项目负责人，陈宇森升任阿里集团副总裁兼千问办公CEO，罗福莉晋升至小米最高职级负责MiMo大模型，周畅在字节负责多模态模型，姚顺雨在腾讯同时掌管模型与基础设施。这些年轻负责人面临不同的技术挑战与商业化压力，标志着大模型行业进入新一代领导者的时代。
钛媒体AI 评分7575 AI数据行业的野蛮生长：从标注到智能体环境的演变
硅谷101邀请Scale AI研究员何允中和加州大学伯克利分校博士后孙一铀，探讨AI数据行业从人工标注到智能体环境的演变，以及评测与数据市场的复杂关系。文章分析了数据公司的分类、商业模式变化、数据污染问题，以及垂直领域数据的机会与挑战。
华尔街见闻AI 评分7575 OpenAI与Anthropic在企业市场竞争格局逆转，IPO之战在即
OpenAI凭借GPT-5.6系列模型的价格优势，在企业市场份额上追赶Anthropic，两家公司均面临资本支出压力并筹备IPO。
量子位精选AI 评分8181 Claude Haiku 5.5发布，性能超越GPT-6 Luna
Claude Haiku 5.5发布，跑分超越DeepSeek V4.1Flash和GLM-5.3-Flash，价格比上代降低90%，但换了tokenizer导致token消耗增加。
推荐理由：原文详细对比了新旧模型性能与价格变化，读者可据此评估迁移成本与适用场景。
量子位AI 评分7878 OpenAI发布GPT-6，免费用户可用
OpenAI宣布GPT-6开始向ChatGPT免费和Go用户推送，用GPT-6 Luna替换GPT-5.6 Luna，付费用户使用GPT-6 Sol。新版模型能根据问题生成图表、按钮和交互工具，回答变长但部分安全评测指标有所下降。
华尔街见闻精选AI 评分7676 OpenAI正式发布GPT-6，增强越狱攻击防护能力
OpenAI于10月7日正式推出GPT-6，包括付费版GPT-6 Sol和免费版GPT-6 Luna，在抵御越狱攻击、拒绝高风险请求等安全指标上取得明显进步，但未触及AI自我改进的高能力门槛。
推荐理由：原文提供了GPT-6在安全防护和对齐方面的具体改进数据，读者可据此评估其安全性能提升。
IT之家AI 评分6565 田柯宇创办世界模型创业公司获五源资本支持
前字节跳动实习生田柯宇创办世界模型创业公司，已获五源资本等机构近3000万美元融资，投后估值达2亿美元。该公司专注于开发AI视觉符号语言系统，计划在2027年发布完整模型。
IT之家AI 评分7878 Anthropic 发布 Claude Haiku 5.5 模型，运行成本较 4.5 低约 75%
Anthropic 发布 Claude Haiku 5.5 模型，称其为目前速度最快、最便宜、功能最强的 Haiku 系列小型模型，运行成本较 Haiku 4.5 低约 75%。该模型支持可调节性能设置，并下调了 Sonnet 5.5 的缓存读取价格。
IT之家AI 评分8585 OpenAI ChatGPT 升级 GPT-6 模型，互动式 AI 教你打麻将
OpenAI面向所有ChatGPT用户推出GPT-6系列模型和智能用户界面，全球周活用户超12亿。GPT-6能灵活组合文本、图像和交互元素生成回复，支持图表、按钮和表单等组件，示例中展示了互动式麻将学习功能。
Simon WillisonAI 评分6565 Anthropic 发布 Claude Haiku 5.5 模型
Anthropic 发布 Claude Haiku 5.5，价格与 GPT-6 Luna 相同，但超过 10 万 token 后价格上涨 5 倍。新模型基准测试分数更高，但使用更不慷慨的 tokenizer，导致相同内容消耗更多 token。
Google Research精选AI 评分7070 AI辅助会增强还是削弱专业能力？来自专利起草三个月实地实验的证据
Google Research发表了一项为期三个月的实地实验，研究AI辅助对专利律师专业能力的影响。实验发现AI工具短期内显著提高了律师起草专利的质量，但移除AI后，初级律师的专业判断能力并未提升，而高级律师则表现出明显的进步。研究强调，提高工作质量和构建持久专业判断可能是不同的目标，尤其对初级专业人士而言。
推荐理由：研究揭示了AI对专业能力发展的复杂影响，为AI工具设计提供了重要参考。
The Decoder精选AI 评分7878 Anthropic 发布 Claude Haiku 5.5 并大幅降价
Anthropic 发布 Claude Haiku 5.5，这是迄今为止最快且最实惠的小型模型，价格比 Haiku 4.5 低约 75%，性能显著提升。基准测试显示，Haiku 5.5 在知识、计算机使用和代理编码等任务上表现大幅优于前代，同时 Anthropic 也降低了 Sonnet 5.5 的价格并推出 API 积分计划。
推荐理由：原文给出了具体价格降幅和性能提升，读者可据此评估成本效益变化。
OpenAI NewsAI 评分4545 GPT-6 推出智能 UI，全球上线 ChatGPT
GPT-6 已在 ChatGPT 全球推出，搭载智能 UI 提供更快响应速度，支持可视化与交互体验，用户可直接探索使用。
IT之家AI 评分7575 微软将 MAI Code 1.1 Flash 模型整合到 Windows 11
微软计划将 MAI Code 1.1 Flash 模型引入 Windows 11 设备，该模型拥有 130B 参数，上下文窗口 256K，已集成到 GitHub Copilot 与 VS Code 中。相比 6 月版本，性能提升约 15-22%，输出 token 流速度提升约 25%，新增多模态能力可直接读取图像输入。
The DecoderAI 评分7373 扎克伯格生物中心牵头18亿美元项目开发预测细胞行为的AI模型
扎克伯格生物中心协调18亿美元项目，旨在开发预测细胞行为的AI模型，Meta、Google DeepMind和Isomorphic Labs共同出资3亿美元，美国能源部投资超5亿美元。
Hugging Face Blog精选AI 评分7272 LiquidAI 发布边缘端多模态决策模型 d1-3B 和 d1-omni-600M
LiquidAI 发布两个开源决策模型 d1-3B 和 d1-omni-600M，支持文本、图像和音频输入，在边缘设备上实现快速推理。d1-3B 在 Decision Index 0.2.1 上得分为 48.57，优于所有 4B 和 9B 模型，在 NVIDIA Jetson AGX Thor 上回答问题仅需 16 ms。
推荐理由：原文提供了模型性能指标和部署速度，读者可据此评估其在边缘设备上的实用性。
Microsoft ResearchAI 评分8585 Microsoft Research 发布 Agent Lightning v1.0 轻量级智能体强化学习框架
Microsoft Research 发布 Agent Lightning v1.0，这是一个约 3,500 行代码的轻量级智能体强化学习框架，支持真实 harnesses 直接参与强化学习。
Ars Technica · AIAI 评分4545 Mistral 称 "Le Chonk" 可媲美顶尖闭源模型
Mistral 宣布 Le Chonk 能与顶尖闭源模型竞争且保持开源权重。该模型未公开具体参数规模或 benchmark 分数。
The Verge · AIAI 评分7373 Google投资3亿美元支持扎克伯格创建'虚拟细胞'
Google DeepMind、Meta和AI药物发现初创公司Isomorphic Labs共同向Biohub投资3亿美元，作为18亿美元计划的一部分，旨在创建AI数据集，帮助研究人员数字化地提出、预测和回答生物学问题。
Hugging Face Blog精选AI 评分8585 Nemotron 模型在 IOI 和 IMO 竞赛中均获金牌级成绩
NVIDIA 研究团队通过微调 Nemotron 模型，使其在国际信息学奥林匹克竞赛(IOI 2026)中获得 535.4/600 分，在国际数学奥林匹克竞赛(IMO 2026)中获得 30/42 分，均超过金牌分数线。团队使用了监督微调(SFT)、强化学习(RL)和生成-验证-改进的推理循环，并将相关模型、数据集和基准测试开源在 Hugging Face 上。
推荐理由：展示了如何通过微调和推理循环将基础模型适配至竞赛金牌水平，提供了可复用的专业领域模型构建方法。
钛媒体AI 评分7070 Utopai X后训练模式引发行业讨论
Utopai X在AI视频模型排行榜中排名全球第二，但被揭示是基于MiniMax H3的后训练成果。文章分析了其商业模式的风险与价值，包括对底座模型的依赖、迁移能力未验证以及迭代速度挑战。
The DecoderAI 评分7676 OpenAI发布372个AI生成的数学证明
OpenAI在GitHub上发布了372个由内部前沿模型生成的数学结果，包括对主要计算机算法的改进和与黎曼猜想相关的进展。这些结果大多来自单个AI代理的单次提示，平均每个结果消耗约三小时的ChatGPT Pro Thinking计算量。OpenAI采用形式验证而非传统期刊评审，并计划资助相关研讨会和会议。
IT之家AI 评分5353 华为徐直军回应美国同行呼吁放缓AI开发
华为轮值董事长徐直军表示，中国AI模型相对较弱，需要加快发展才能体会到风险，与美国同行呼吁放缓AI开发的观点形成对比。
Latent SpaceAI 评分8585 OpenAI发布722篇数学论文，解决500个开放数学问题中的90个
OpenAI发布了722篇数学论文，解决了500个开放数学问题中的90个，包括准黎曼猜想等重要成果。这些成果来自内部Navier-Stokes数学模型，平均每篇论文仅需3小时ChatGPT Pro计算时间。
IT之家AI 评分8080 Mistral AI 发布 Mistral Large 4 公开预览版
Mistral AI 发布 Mistral Large 4 模型的公开预览版，拥有 1 万亿总参数、490 亿激活参数，号称媲美全球顶尖开源模型并领先欧美开放权重模型，月底将开放权重下载。