GPT 学生领 4 个月 Plus，从认证到激活完整教程（实测2种方法）
ChatGPT面向在读大学生推出4个月免费Plus优惠（截止10月31日），本文实测两种领取方法，详解SheerID学生身份验证、Plus订阅及激活领取的完整流程，并建议在当前订阅快到期时再激活以避免覆盖已付费月份。
装上Superdesign，立刻让 Codex 变成设计专家
Superdesign 近日在 Codex（ChatGPT）插件市场上线官方插件，可让 Codex 自动扫描项目设计资产并在右侧画布流式渲染 UI，Agent 还会自检迭代，用户选定后一键将设计代码应用回本地项目。
GPT-6第1天直接攻破5道Erdős难题！Fable 5.1交了白卷
在Epoch AI与曼彻斯特大学发布的FrontierMath Erdős基准测试中，GPT-6 Astra以3%得分率成为唯一非零分模型并解开5道Erdős难题，而GPT-5.6 Sol、GPT-5.5、Fable 5.1与Claude Fable 5均交白卷。
大模型蒸馏时代结束！Fable 5.1改写API，彻底切断蒸馏后路
Anthropic发布Fable 5.1，推出"上下文一致性验证"机制，严格锁定API返回的"思考块"，任何修改上下文的行为将被直接报错，从而彻底切断通过API蒸馏大模型推理过程的后路。
速递｜前OpenAI CTO创立的Thinking Machines Lab计划融资10亿美元，估值超400亿美元，
前OpenAI首席技术官Mira Murati领导的Thinking Machines Lab正洽谈以至少400亿美元投前估值筹集至少10亿美元，现有投资者Accel拟领投，Nvidia洽谈参投。
刚刚，Claude首次形式化证明费马大定理！清华姚班大神出手了
清华姚班出身的彭天翼带队，Anthropic旗下Claude仅用11天、消耗60亿Token和1300万行代码，首次端到端形式化证明了困扰数学界350年的费马大定理，并产出29500条可验证中间定理，成为迄今为止最大的Lean证明。
4亿种子轮！比尔盖茨领投，Physical Superintelligence（PSI）完成5800万美元种子轮融资
Physical Superintelligence（PSI）完成5800万美元（约3.9亿元人民币）种子轮融资，由比尔盖茨牵头的Breakthrough Energy Ventures领投，旨在打造由AI"虚拟物理学家"组成的物理实验室，核心产品Emmy已落地数据中心优化等场景。
鼎犀智创：完成数亿元Pre-A轮融资，"Physical AI+自主实验室"切入高性能材料研发
鼎犀智创（Rhinovate™）近日完成数亿元Pre-A轮融资，由鼎晖百孚领投，资金将重点用于RhinoMat材料科学基础大模型及多场景可编排AI智能体与自主进化实验室体系建设，并推进碳基高性能材料放大验证。
速递｜AI云计算提供商Crusoe完成超30亿美元融资，估值300亿美元
AI云计算提供商Crusoe完成超30亿美元融资，估值达300亿美元，本轮由Atreides Management与Valor Equity Partners共同领投，Mubadala Capital参投。
全生态物理 AI 落地，小米的主场攻防战
小米凭借覆盖芯片（玄戒O3/O100/D100）、大模型（MiMo-V2.5、Xiaomi-Robotics系列）、澎湃OS 4、11.6亿台IoT设备及三大智能工厂的完整链路，成为全球首个实现"人车家全生态"物理AI落地的科技公司，在IFA 2025上展示了从数字世界走向物理世界的生态整合优势。
全球最大私人药企，部署了Owkin的AI科学家
AI制药公司Owkin与勃林格殷格翰达成许可协议，将人工智能科学家K Pro及多模态患者数据用于肿瘤学和免疫学多个适应症的药物发现，K Pro已将Owkin内部药物靶点识别速度提升70%。
城投开始卖Token了
嘉城集团、济南城投集团等地方国资正建设Token运营中心或Token工厂，以盘活GPU并拓展算力服务，但Token业务能否实现规模化盈利仍待验证。
扎克伯格想让 AI 接管 Meta 真人工作，几个月后他自己叫停了
扎克伯格在Meta内部启动Project OT项目让AI Agent接管员工工作、压缩团队规模，但数月后数据显示代码变更量增长220%、产品功能仅增36%、安全事故增加40%、员工满意度跌至55%，扎克伯格于5月叫停原定11月的第二轮调整，并承认AI Agent发展速度未达预期。
单人一月烧掉 19 万，硅谷开始倒查员工 AI 账单
微软开始倒查员工AI账单，有员工28天内烧掉2.8万美元（约19万元人民币）token，公司因此推行部门预算、个人支出仪表盘等管控措施，并将默认模型切换为OpenAI的GPT-5.6 Sol。
何小鹏，打破宇树纪录
小鹏旗下人形机器人业务鹏行完成首轮融资超9亿美元，投后估值超63亿美元，由IDG资本领投、阿里腾讯等参投，刷新中国具身智能行业单轮私募股权融资纪录，打破宇树科技IPO募资纪录，何小鹏亲自挂帅兼任机器人业务CEO。
Manus团队测模型一点微小的经验
Manus团队在评测模型深度研究报告质量时，构建了"信息量"与"隐喻率"两项指标，分别通过抽取事实点和统计每百句隐喻数量来衡量信息密度与文风易读性，在覆盖9个主流模型36道题目的Research Bench测试中发现Claude Fable-5隐喻率最高、GPT旗舰模型信息密度低于Claude系列。
腾讯、字节、阿里「会战」AI 办公之后：Agent 领域格局已变
创新工场汪华与Floatboat.ai创始人谭少卿对话指出，腾讯WorkBuddy、字节豆包工作、阿里千问办公等大厂AI办公会战已完成Agent市场教育，GLM-5.3-Flash和DeepSeek-V4-Flash等国产模型跨过能力门槛，巨头的壁垒仅剩资金，而中国创业者凭借贴近开源模型生态的优势，有望在垂直Agent领域找到更多机会。
速递｜AI数据创企AfterQuery估值达32亿美元，YC史上最快速度独角兽
AI数据创企AfterQuery估值达32亿美元，成为Y Combinator史上从创立到成为独角兽速度最快的企业，此前其A轮估值仅为3亿美元。
AI 时代，「种草」这件事会变成什么样？
极客公园邀请小红书种草产品负责人许晴与悦普集团COO鲍白白对谈，探讨AI时代下品牌如何借助小红书灵犀AI等工具从追流量转向经营用户信任。
AI Coding 的下一步不是写得更快，而是可验收：蚂蚁数科 Harness 工程实践
蚂蚁数科资深技术专家魏长征在 AICon 大会上分享 Harness 工程实践，指出 AI Coding 的关键不是写得更快要让产出可验收，并在 40 万行 Rust 新项目和 60 万行 C++ 存量项目中分别通过内建 Harness 和先补齐文档与 CI 门禁实现质量闭环，后者缺陷率从 20% 以上降至个位数。