← 返回最新日报
2026-07-12· 当日存档
AI 日报
GPT-5.6破数学猜想，AI办公易主
GPT-5.6一小时破解50年数学难题，并接管微软全家桶，数亿打工人迎来AI办公新纪元。同时，中国首个十万卡集群落成，全国产算力支撑AI发展。
模型动向
1
2
OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour
OpenAI顶级模型一小时内解决长期未解数学猜想，引发AI创造力争议。
The Decoder深挖 →
3
OpenAI's GPT-5.6 Sol autonomously post-trained the smaller Luna model with a "fairly underspecified prompt"
GPT-5.6仅凭模糊指令自主微调小模型，递归自我改进能力超越前代。
The Decoder深挖 →
4
Ant Group’s Robbyant Unveils LingBot-VA 2.0: A Causal Video-Action Model Built Natively for Physical AI
蚂蚁集团发布专为具身智能设计的因果视频-动作模型，推动物理AI发展。
MarkTechPost深挖 →
5
6
7
8
China's Orca world model matches specialized robotics systems without ever seeing a single action label
北京智源发布世界模型Orca，无动作标签训练，性能媲美专业机器人系统。
The Decoder深挖 →
9
Meta's Muse Spark 1.1 outperforms GLM-5.2 in coding and costs slightly less
Meta的Muse Spark 1.1编码任务超越GLM-5.2，成本更低且幻觉率大幅下降。
The Decoder深挖 →
产品上新
10
11
12
13
老黄RTX Spark真机现身Bilibili World！CPU和GPU直接焊在一起，笔记本跑120B大模型
英伟达RTX Spark真机亮相，CPU与GPU集成，笔记本可跑120B大模型。
量子位深挖 →
14
15
16
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深挖 →
论文研究
17
ICML 2026｜小模型也能「指挥」大模型RL后训练：清华&腾讯提出GPS，最高减少69% Rollout成本
清华与腾讯提出GPS方法，用小模型预判高价值prompt，降低大模型RL后训练成本。
机器之心深挖 →
18
19
行业动态
20
21
22
23
24
25
26
Terrorist groups are using every major AI chatbot for attack planning and weapons development
研究显示恐怖组织利用主流AI聊天机器人策划袭击，安全过滤器多次失效。
The Decoder深挖 →
实用技巧
27
A Coding Guide to NVIDIA’s Tile-Based GPU Programming: From cuTile and Triton Kernels to Flash Attention
通过TileGym学习NVIDIA基于瓦片的GPU编程，从向量加法到Flash Attention。
MarkTechPost深挖 →
28
快讯
·
AI 2040 and the cult of intelligence
Hacker News