← 返回最新日报
2026-07-11· 当日存档
AI 日报
GPT-5.6证明数学猜想
今日最大看点：GPT-5.6 Sol Ultra成功证明循环双覆盖猜想，展示公开模型数学推理新高度；同时Grok 4.5上线即被攻破，安全挑战凸显。此外，中国团队开源首个实时交互世界模型，NVIDIA发布200+Agent技能，行业动态聚焦SK海力士创纪录IPO及氦气出口禁令。
模型动向
1
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
GPT-5.6 Sol Ultra一小时证明50年未解猜想，AI数学能力里程碑
Hacker News深挖 →
2
This time it is novel math proofs with a public model (most of the other big math breakthroughs have been with experimental LLMs).
公开模型用64个子代理协作，突破性数学证明引发热议
@emollick深挖 →
3
4
5
6
7
8
OpenAI's GPT-5.6 Sol autonomously post-trained the smaller Luna model with a "fairly underspecified prompt"
GPT-5.6 Sol用模糊指令自主微调小模型，自我改进超越前代
The Decoder深挖 →
9
2.4k Star！NVIDIA开源200+ Agent Skills，让Claude Code变GPU专家
NVIDIA开源200+Agent技能，让Claude Code变GPU专家
智猩猩AI深挖 →
10
11
12
产品上新
13
14
15
16
17
Meta removes controversial AI feature on Instagram after backlash
Meta因用户反对移除Instagram争议AI功能
TechCrunch AI深挖 →
论文研究
18
Anthropic found a hidden space where Claude puzzles over concepts
Anthropic通过雅可比透镜揭示大模型内部推理过程
MIT Tech Review深挖 →
19
20
21
ICML 2026 Spotlight | 直面「模态缺失」挑战：北大彭宇新团队联合福大柯逍团队提出LIMSSR，面向训练阶段不完整观测的精准评价
LIMSSR框架解决训练阶段模态缺失下的精准评价问题
机器之心深挖 →
行业动态
22
SK Hynix raises $26.5B in the biggest foreign IPO in US history, is urged to build new US fabs
SK海力士265亿美元创美国史上最大外资IPO，被敦促在美建厂
TechCrunch AI深挖 →
23
24
25
26
27
28
29
30