AI 精选动态
智能评分 64
新闻简报
AI 推荐理由
这条信息同时包含代码生成占比、形式化数学方法、可本地运行的多模态开源模型和低价闭源多模态模型四个增量点，适合点开原文逐条核对细节。核心解读
Anthropic 表示，其新增生产代码中有 80% 由 Claude 生成。Google 的一篇新论文显示，通用 LLM 通过“规划证明并逐步检查”可以解决形式化数学问题，将通用 LLM 的表现从 10% 以下提升到 70%。Google 还发布了开源 Gemma 4 12B，可在本地消费级 16GB GPU 上分析音频和视频；Alibaba 的 Qwen3.7-Plus 支持文本、视频和图像输入，价格为每 100 万 tokens 0.4 美元 / 1.6 美元，但仍为闭源。