← 返回最新日报
2026-07-11· 当日存档
AI 日报
GPT-5.6破数学难题
GPT-5.6 Sol Ultra一小时解开50年数学猜想，并用700词提示词管理64个子Agent；同时谷歌发布Gemma 4论文，31B参数模型逼近闭源前沿。办公AI格局生变，GPT-5.6接管微软全家桶。
模型动向
1
2
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
GPT-5.6 Sol Ultra证明图论经典猜想，数学推理新里程碑。
Hacker News深挖 →
3
4
OpenAI's GPT-5.6 Sol autonomously post-trained the smaller Luna model with a "fairly underspecified prompt"
GPT-5.6 Sol用模糊指令自主微调小模型，RL自训练能力惊人。
The Decoder深挖 →
5
This time it is novel math proofs with a public model (most of the other big math breakthroughs have been with experimental LLMs).
公开模型首次攻克长期未解数学猜想，AI科研能力再突破。
@emollick深挖 →
6
7
8
Google Research Introduces SensorFM: A Wearable Health Foundation Model Pretrained on One Trillion Minutes of Sensor Data
谷歌发布穿戴健康基础模型SensorFM，万亿分钟数据预训练，性能全面超越。
MarkTechPost深挖 →
9
Looks like automatic music transcription just got a serious upgrade 😲 Unsurprisingly, data is king, also for this task.
自动音乐转录模型MuScriptor发布，多乐器转MIDI精度大幅提升。
X · List深挖 →
10
11
12
China's Orca world model matches specialized robotics systems without ever seeing a single action label
北京智源发布世界模型Orca，无需动作标签即可匹配专业机器人系统。
The Decoder深挖 →
13
Ant Group’s Robbyant Unveils LingBot-VA 2.0: A Causal Video-Action Model Built Natively for Physical AI
蚂蚁集团发布灵宝VA 2.0，原生物理世界视频动作模型，支持因果推理。
MarkTechPost深挖 →
产品上新
14
15
16
17
18
OpenAI admits it "didn't get everything quite right" with ChatGPT Work launch and scrambles to fix UX and costs
OpenAI承认ChatGPT Work发布存在UX和成本问题，正紧急修复。
The Decoder深挖 →
19
20
论文研究
21
ICML 2026｜小模型也能「指挥」大模型RL后训练：清华&腾讯提出GPS，最高减少69% Rollout成本
小模型筛选prompt降低大模型RL后训练成本最高69%，ICML 2026论文。
机器之心深挖 →
22
23
行业动态
24
SK Hynix raises $26.5B in the biggest foreign IPO in US history, is urged to build new US fabs
SK海力士创美国史上最大外资IPO，筹资265亿美元，被敦促在美建厂。
TechCrunch AI深挖 →
25
26
27
Apple sues OpenAI for allegedly running a "coordinated campaign" to steal trade secrets through poached employees
苹果起诉OpenAI系统性挖角窃密，超400名前员工跳槽，法律战升级。
The Decoder深挖 →
28
实用技巧
29
the org chart is starting to look different; small atomic teams, each one building on its own multibillion dollar market. used to be every team lived ...
组织架构转向小型原子团队，各自开拓数十亿美元市场，复合型创业时代。
X · List深挖 →
30
“如果你不能用300行代码写个Cursor，这行你就别待了！”Ralph Loop创造者、Claude Code核心技术设计者的暴论
AI编程工具普及，软件开发门槛降低，人人皆可成为开发者。
AI前线深挖 →
日报存档
2026 年 10 月
13 日AI狂飙与隐忧并存12 日AI狂飙与认知鸿沟11 日AI失控与安全警钟10 日AI代理失控警钟9 日AI智能体全面提速8 日GPT-6 智能 UI 上线7 日万亿模型与AI自治争议6 日开源模型与资本双线爆发5 日AI侵蚀大学信任4 日OpenAI安全震荡与验证器研究3 日AI代理安全与落地并进2 日AI能力跃迁与安全隐忧1 日谷歌Gemini 4发布引三强竞速2026 年 9 月
22 日小米开源登顶，AI失控警钟21 日开源图像模型与AI治理并进20 日AI安全与失控风险成焦点19 日AI安全失控与模型竞速18 日AI对齐警报与芯片竞赛17 日AI安全警报与产品整合潮16 日谷歌苹果齐发AI新品15 日苹果Siri重构与AI放缓之争14 日AI巨头放缓迭代引激辩13 日GPT-6 Astra全面突破12 日AI数学错位与安全风波11 日智能体基建与模型竞速10 日GPT-6登场，AI安全恐慌升温9 日AI数学突破引热议8 日AI日报：端侧模型与欧洲融资双热点7 日AI日报：模型竞赛与行业震荡6 日GPT-6 Astra发布，AI竞争白热化5 日GPT-6发布，AGI时代开启4 日GPT-6 Astra开启AGI时代3 日英伟达巨资收购HF2 日AI日报：世界模型与安全并进1 日AI日报：模型突破与行业震荡