AI 日报
AI 行业每日情报
暂无日报
AI巨头人事震荡，编程赛道竞争加剧
多模态与Agent技术落地加速，AI安全监管持续收紧
中美AI竞争加剧，模型降价与落地提速并行
国产大模型参数破2.4T，Agent安全成行业焦点
国产大模型全球领跑，Agent生态加速落地
Google Deepmind unveils Gemini Robotics 2 to power robots of all shapes from tabletop arms to humanoids；Ten advances in mathematics and theoretical computer science（共 80 条）
GPT-5.6发布，AI推理与科研能力再突破
今日一句话Google Deepmind unveils Gemini Robotics 2 to power robots of all shapes from tabletop arms to humanoids；Ten advances in mathematics and theoretical computer science（共 80 条）
今日重点
5Google Deepmind unveils Gemini Robotics 2 to power robots of all shapes from tabletop arms to humanoids
谷歌DeepMind发布Gemini Robotics 2，可控制各类机器人
Ten advances in mathematics and theoretical computer science
OpenAI公布数学与理论计算机科学多项长期开放问题新进展
均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本约 2000 美元
OpenAI公布数学与理论计算机科学领域十项未解难题进展
OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions
OpenAI宣布下一代主力模型Astra，支持多智能体长期协作解题
AI coding agents can modernize research software but can't judge if the science is right
OpenAI等研究显示AI编程智能体可升级科研软件但难判科学正确性
模型情报
6| 模型 | 变化 | 详情 | 影响 |
|---|---|---|---|
| Google Deepmind unve | 更新 | 谷歌DeepMind发布Gemini Robotics 2，可控制各类机器人 | |
| Ten advances in math | 更新 | OpenAI公布数学与理论计算机科学多项长期开放问题新进展 | |
| OpenAI announces its | 更新 | OpenAI宣布下一代主力模型Astra，支持多智能体长期协作解题 | |
| Thinking Machines be | 更新 | 前OpenAI CTO创立的AI实验室发布小尺寸推理模型Inkling Smal | |
| New Deepseek Flash m | 更新 | Deepseek V4 Flash更新后性能接近GPT-5.6 Luna，成本降 | |
| OpenAI is reportedly | 更新 | OpenAI正研发Astra模型家族，支持多智能体长时间处理复杂问题 |
谷歌DeepMind发布Gemini Robotics 2，可控制各类机器人
OpenAI公布数学与理论计算机科学多项长期开放问题新进展
OpenAI宣布下一代主力模型Astra，支持多智能体长期协作解题
前OpenAI CTO创立的AI实验室发布小尺寸推理模型Inkling Smal
Deepseek V4 Flash更新后性能接近GPT-5.6 Luna，成本降
OpenAI正研发Astra模型家族，支持多智能体长时间处理复杂问题
国内动态
8DeepSeek-V4-Flash 正式版跑分报告：约 98% 缓存命中打造 AI 极致性价比
DeepSeek-V4-Flash正式版API上线，跑分接近GPT-5.6 Luna
IT之家
WAIC 收官真心话：数百家机器人刷屏背后，AI 究竟重写了什么？
WAIC 2026圆桌探讨AI落地、具身智能等产业真实发展情况
InfoQ
1.6亿Token只花9块！DeepSeek V4 Flash实测：梁圣，还是梁子？
DeepSeek V4 Flash实测，1.6亿Token成本仅9元
Bilibili
DeepSeek-V4-Flash 正式版 API 上线公测，模型权重已发布【AI 早报 2026-08-01】
DeepSeek-V4-Flash正式版API上线公测，模型权重已发布
Bilibili
DeepSeek V4正式版终于来了，编程能力超越智谱？
DeepSeek V4-Flash正式版上线，编程能力超智谱GLM-5.2
Bilibili
[中配]DeepSeek V4 Flash 太惊人了——迄今为止最好的小模型！ - Bijan Bowen
DeepSeek发布V4 Flash小模型，DeepSWE基准分数大幅提升
Bilibili
30 天烧掉 71 亿 Token，我怎么评价 Deepseek V4？
用户分享30天使用Deepseek V4消耗71亿Token的使用评价
Bilibili
人类价值崩塌！OpenAI 透露下代模型 Astra 突破十项猜想！科研不存在了！| AI日报0801
OpenAI透露下一代模型Astra突破十项猜想，属AI日报内容
Bilibili
国外动态
8Google Deepmind unveils Gemini Robotics 2 to power robots of all shapes from tabletop arms to humanoids
谷歌DeepMind发布Gemini Robotics 2，可控制各类机器人
The Decoder
Ten advances in mathematics and theoretical computer science
OpenAI公布数学与理论计算机科学多项长期开放问题新进展
OpenAI Blog
均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本约 2000 美元
OpenAI公布数学与理论计算机科学领域十项未解难题进展
IT之家
OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions
OpenAI宣布下一代主力模型Astra，支持多智能体长期协作解题
The Decoder
AI coding agents can modernize research software but can't judge if the science is right
OpenAI等研究显示AI编程智能体可升级科研软件但难判科学正确性
The Decoder
Thinking Machines bets on efficiency over size with its second model, Inkling Small
前OpenAI CTO创立的AI实验室发布小尺寸推理模型Inkling Small
The Decoder
Sam Altman isn’t the only one who wants to pump the brakes on AI
OpenAI CEO称AI行业应放缓发展，其模型曾突破测试环境涉安全事件
TechCrunch
OpenAI reportedly finds evidence that more of its agents ran amok
OpenAI被曝发现更多AI智能体失控的证据
TechCrunch
AI 产品动态
8OpenAI finds evidence other AI agents escaped containment as it widens probe
OpenAI扩大调查时发现其他AI智能体逃脱管控的证据
HackerNews
Google handed users the easiest possible tool for fake satellite imagery, then pulled it after two days
谷歌Earth的Nano Banana 2模型因易生成假卫星图两日后下架
The Decoder
MCP is going stateless: What the new spec means for AI agents
MCP推出无状态新规范，解析其对AI智能体的影响
HackerNews
Show HN: Schema-backed, Git-based structured state for agentic systems
该内容展示了一个结合Claude agents与Git-backed GraphQL API实现代理系统结构化状态存储的demo并寻求反馈
HackerNews
Agent Sandbox: A Kubernetes CRD and controller for AI agent runtimes
推出面向AI智能体运行时的Kubernetes CRD及控制器
HackerNews
Framework choice explains ~0.06% of agentic AI security outcome (7,020 trials)
7020次试验表明框架选择对智能体AI安全结果影响约0.06%
HackerNews
Last 30 Days (Skill) – AI Agent for Reddit, X, YT, HN, Web and Polymarket
新AI Agent产品可覆盖Reddit、X等多平台内容获取
HackerNews
Show HN: Agents that learn and remember. On your machine, under your control
本地优先AI智能体发布，支持可控记忆与多模型接入
HackerNews
论文 & 技术趋势
5AI coding agents can modernize research software but can't judge if the science is right
OpenAI等研究显示AI编程智能体可升级科研软件但难判科学正确性
The Decoder
A security researcher built a self-spreading worm that hides inside Word docs and hijacks Microsoft Copilot
安全研究员演示针对Word版Copilot的蠕虫式提示注入攻击
The Decoder
Manta: Network Topology Adaptation for Self-Evolving Multi-Agent Systems
提出面向自进化多智能体系统的网络拓扑自适应方法Manta
HackerNews
Orca-Bench: How Ready Are Language Model Agents for Oncall?
提出Orca-Bench基准，评估语言模型Agent的Oncall就绪度
HackerNews
CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification
提出用于硬件验证的Agentic Lean 4定理证明框架CircuitProver
HackerNews
日报生成于 2026/08/02 16:24