天眼早报

🤖 AI 大模型

𝕏 OpenAI 称通用推理模型自主解决平面单位距离问题

OpenAI宣布其通用推理模型在平面单位距离问题上取得突破；该问题由Paul Erdős于1946 年提出。模型发现优于方格构造的新方案，OpenAI 称这是 AI 首次自主解决数学领域知名开放问题。

🔵 Anthropic 将向 SpaceX/xAI 支付近 450 亿美元购买 Claude 算力

Anthropic同意未来 3 年向SpaceX/xAI支付近450 亿美元购买算力，用于支持Claude；文件显示月付约 12.5 亿美元至 2029 年 5 月，相关报道还提到 6 月将扩展 Colossus 2 的 GB200 容量。

Anthropic 预计二季度首次实现运营盈利，营收达 109 亿美元

Anthropic预计 2026 年二季度营收达109 亿美元、运营利润约5.59 亿美元，较一季度 48 亿美元销售额大幅增长；报道称其算力成本占比降至56%，显示 Claude 业务商业化效率改善。

𝕏 Google DeepMind 发布 Gemini 3.5 Flash，基准显示速度与智能提升

Google DeepMind发布Gemini 3.5 Flash，称其为最强 Flash 模型，已接入 Gemini 应用、API 和 Android Studio 并向全球免费用户开放；基准显示输出速度提升4 倍，在Terminal-Bench 2.1得分 76.2%，Artificial Analysis 智能指数 55 分、输出超 280 tokens/s，但成本高于上一代。

𝕏 Google 推出 Gemini Omni，支持任意输入生成和编辑视频

Gemini Omni支持用视频、图像、音频、文本、草图生成或对话式编辑高质量视频，并将在 Gemini、Flow 和 YouTube Shorts 中接入SynthID与C2PA标识。

𝕏 Cohere 开源 Command A+，支持多模态、48 种语言和 128K 上下文

Cohere Command A+开源，采用Apache 2.0许可；模型为218B MoE规模、25B 激活，支持视觉、多语言、工具调用和 128K 上下文，vLLM 已首日适配。

𝕏 Google 公布 Build with Gemini XPRIZE 200 万美元奖金结构

Google IO推出Build with Gemini XPRIZE，总奖金200 万美元；冠军获50 万美元，另设 15 个 5 万美元入围奖及多个类别奖。

𝕏 Stability AI 发布 SAME 音乐自编码器，压缩率达 4096 倍

Stability AI在Hugging Face发布SAME音乐自编码器，音频压缩率达4096 倍，可用于生成式音频工作流中的高效表示与重建。

𝕏 商汤开源统一多模态模型 SenseNova U1

商汤开源SenseNova U1，可在单一模型中理解、推理并生成图文；同步开放38B-A3B MoE权重，H100 推理由23 秒降至 2 秒。

𝕏 Astraflow 推出异步分布式强化学习引擎

Astraflow支持异步、异构、跨地域RL训练，通过数据流抽象仅同步**≤1.1%**模型权重，面向大规模强化学习系统的效率与部署弹性。

𝕏 Supertonic 开源本地多语言 TTS 模型，支持 31 种语言

Supertonic开源66M 参数端侧 TTS 模型，支持31 种语言，可在消费级硬件上最高以167 倍实时速度生成语音。

𝕏 Gemma 4 发布一个月下载量突破 1 亿

Google Gemma 4发布一个月下载量超过1 亿次，主打推理、智能体工作流和移动端离线运行等使用场景。

𝕏 MiniMax Speech 2.8 Turbo 登陆 Together AI

Together AI上线MiniMax Speech 2.8 Turbo，新增600+声音，支持 40+语言，并实现低于250ms的端到端延迟。

𝕏 Google Project Genie 向全球 AI Ultra 用户开放

Project Genie已向全球Google AI Ultra订阅者开放，面向18 岁以上用户，进一步扩展 Google 高阶 AI 订阅服务中的实验性能力。

🔶 阿里称 AI 业务进入商业化回报周期

阿里巴巴称AI+云将成为新增长动力，并将继续投入AI 基础设施、自研芯片和MaaS 产品，以推动 AI 业务商业化回报。

🔵 OpenAI 在马斯克诉讼被驳回后继续推进 IPO

OpenAI在法官驳回马斯克诉讼后，继续推进营利化重组与IPO计划；但报道指出其上市路径仍面临治理和监管不确定性。

𝕏 xAI Grok Build 0.1 接入 Vercel AI Gateway

xAI的测试版代码模型Grok Build 0.1已接入Vercel AI Gateway，模型名为xai/grok-build-0.1，开发者可通过 Vercel 统一网关调用。

𝕏 Hugging Face 数据集榜单支持按模型参数范围筛选

Hugging Face Dataset Leaderboard新增按模型参数规模筛选能力，可查找32B 以下模型在SWE-bench等榜单上的表现。

𝕏 DeepSeek 组建 Code Harness 团队，招聘产品和研发岗位

DeepSeek在北京组建Code Harness团队，开放产品经理与研发工程师岗位，显示其正加强代码评测、工具链或智能体开发相关能力建设。

𝕏 Hugging Face 推出开源 AI 硬件使用追踪

Hugging Face上线硬件追踪功能，展示GPU/CPU、显存分布和推理硬件趋势，帮助观察开放模型生态中的硬件使用变化。

---