最严苛 AI 交互推理测试：OpenAI 两项改进让 GPT-5.6 Sol 提分 188%
ARC Prize ARC 奖 ARC 奖 ARC 奖团队推出的全新交互式推理基准测试，旨在衡量人工智能代理（AI Agent）在未知...
排序
“小号”美国最强开源模型：Inkling-Small 登场，约 1/4 规模提供相近 AI 性能
Thinking Machines Lab 昨日（7 月 30 日）发布博文，宣布推出 Inkling-Small 模型，其性能媲美 Inkling，但规模降低至约四分之一。
腾讯混元：基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题
腾讯混元今日发文宣布，科研智能体 Hyra 找到了一个关键构造，为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。
谷歌最新 AI 大模型 Gemini 3.5 Pro 短暂上线 Arena 竞技场，已延迟数月
据多位用户反馈，鸽了许久的谷歌 Gemini 3.5 Pro 大模型今日短暂现身 AI 盲测平台 Arena，上线仅 30 分钟便被撤下。该模型原定于 6 月推出，但多次跳票。#谷歌AI# 此次短暂露...
消息称阿里千问模型已在特斯拉车机内测，号称能听能答、能控车、能导航
消息称阿里千问模型已在特斯拉车机内测，目前已在真实车机环境完成大量测试，可支持语义理解、控车导航等能力，已有多家国内头部车企宣布接入该模型。#阿里千问大模型#
国家发改委：人工智能相关行业保持 30% 以上的高增长，截至 6 月底全国智能算力规模达到去年同期 2.8 倍
上半年，我国人工智能自主创新步伐加快，在全产业链多环节实现快速突破。（央视新闻）
DeepSeek-V4-Flash 正式版 API 上线公测，V4-Pro 正式版将“尽快”发布
今天（31 日）下午，DeepSeek 通过 API 文档发布日志，宣布 DeepSeek-V4-Flash 正式版 API 上线公测。
字节跳动国内推出 Seedance 2.5 视频 AI 模型：单次生成时长 30 秒、突破长叙事能力
字节跳动今天（7 月 31 日）发布公告，宣布推出 Seedance 2.5 视频生成模型，可单次生成 30 秒高质量视频片段，已陆续上线即梦 AI 与豆包专业版，API 服务也将于近期接入火山方舟。
阿里发布 Qwen-Audio-3.0-ASR-Flash 语音识别大模型，让 AI 更好听懂专业词汇
Qwen-Audio-3.0-ASR-Flash 主要在上下文一致性、行业词识别和热词定制化三个维度做了系统性的优化，同时让模型具备语音润色能力，可直接输出结构化文本。
发改委：全球每销售 10 台人形和四足智能机器人，就有 8 台产自中国
国家发改委最新数据显示，2026 年全球人形与四足智能机器人市场，中国制造占比高达 80%。摩根士丹利曾预测，今年中国人形机器人出货量将达 5 万台，市场规模约 135 亿元。#中国智造# 正加速抢占...