# AI 简报：Anthropic、Google、阿里等最新动态

- 来源：Rohan Paul (@rohanpaul_ai)
- 发布时间：2026-06-06 07:40
- AIHOT 分数：48
- AIHOT 链接：https://aihot.virxact.com/items/cmq1l5wml0gslsltr8og1i05c
- 原文链接：https://x.com/rohanpaul_ai/status/2063043429425381848

## AI 摘要

Anthropic 称其 80% 的新生产代码由 Claude 编写。Google 新论文显示，通用 LLM 通过规划证明与逐步验证，将形式数学求解性能从低于 10% 提升至 70%。Google 开源 Gemma 4 12B，可在消费级 16GB GPU 上本地运行，支持音频和视频分析。通义千问发布 Qwen3.7-Plus，支持文本、视频、图像输入，价格 $0.4/$1.6 每百万 token，闭源。Anthropic 新化学报告有惊人结果。

## 正文

Today's edition of my newsletter just went out.

🔗 https://www.rohan-paul.com/p/anthropic-just-disclosed-that-claude

🗞️ Anthropic says 80% of its new production code is now authored by Claude

🗞️ New Google paper shows general LLMs can solve formal math by planning proofs and checking each step. Raised general LLM performance from under 10% to 70%

🗞️ Google's new open source Gemma 4 12B can analyze audio and video while running fully locally on a consumer 16GB GPU

🗞️ Alibaba's Qwen3.7-Plus supports text， video， and image inputs at a low price of $0.4/$1.6 per 1M tokens， though it remains proprietary.

🗞️ Anthropic's new chemistry report has a genuinely wild result.