AI APP 日報 Pulsar
LIVE
AI APP 線AI APP 线 · 行業行业 · 工具 · 趨勢趋势
- GPT-6 Astra 正式发布：OpenAI 新一代旗舰，全面超越 Claude Fable 5.1 OpenAI 发布 GPT-6 Astra，在 FrontierMath Tier 4（97.6%）、ARC-AGI-3（99.9%）、Terminal-Bench 4.0（57.9%）等关键基准上全面超越 Claude Fable 5.1。定价 $10/$50 per M tokens，API 已开放 gpt-6-astra，Vercel AI Gateway 同步上线。Brockman 称其为「AGI 时代起点」。 36氪
- NVIDIA 129.3 亿美元收购 Hugging Face 英伟达宣布以 129.3 亿美元收购 Hugging Face，承诺维持开放平台运营。开发者可自由选择模型/框架/云服务，无需绑定 NVIDIA 算力。这是 AI 基础设施领域最大并购之一。 36氪
- OpenAI / Anthropic / xAI 罕见同时宕机 9月3日早，OpenAI（ChatGPT/Codex）、Anthropic（Claude Fable 5.1/Mythos 5.1/Opus 5）、xAI（Grok）同时出现服务中断。OpenAI 归因于路由错误，xAI 归因于 Memphis 数据中心故障，Anthropic 未公开原因。超 12,000 份用户报告。 WIRED
- Anthropic 在 Lean 4 中完成费马大定理形式化证明 Anthropic 开源了费马大定理的完整 Lean 4 形式化证明，基于 Mathlib，60,475 个模块全部通过 Lean kernel 验证，仅使用三个标准公理。HN 51 分。这是 AI 辅助数学证明的重要里程碑。 GITHUB
- Simon Willison：Astra 推理级别可视化 — 低推理即优于 Sol 最高级 Willison 用 SVG 海鹦骑行图直观对比了 GPT-6 Astra 与 GPT-5.6 各版本的推理级别输出。发现：Astra low 质量优于 Sol 任何级别，且 Astra 输入 token 更少（16 vs 26），暗示 Astra 与 Luna 可能有更紧密的关系。 SIMON WI
- Meta 取消员工 AI 使用量与绩效挂钩 Meta 内部通知：员工绩效评估不再依据 AI 工具使用量（含 Token 消耗）。此前 Meta 推动「AI 驱动影响力」指标，但新智能体 Hatch 的使用已自然推高消耗，无需 KPI 驱动。 36氪
- OpenAI 确认自研人形机器人本体，首款无屏终端 2027 年推出 Altman 在播客确认 OpenAI 将自研人形机器人本体，原世界模拟项目升级为 OpenAI Robotics。首款无屏便携 AI 终端预计 2027 年推出，外形类似甜甜圈，售价或超 300 美元。 36氪
- Ling 3.0 Flash Sante：医疗推理 MoE 模型上线 Vercel AI Gateway（免费至 10/4） inclusionAI 的 Ling 3.0 Flash Sante 是 124B MoE 模型（5.1B active），专注医疗推理和多步骤医疗工作流，支持 function calling 和 256K 上下文。Vercel AI Gateway 免费提供至 10 月 4 日。 VERCEL
— VLA 線今日無資料 —— VLA 线今日无资料 —
AI 日報
共 8 篇