标签：算力

OpenAI 发布372个数学难题成果，数百篇论文待验证

OpenAI 在 GitHub 发布了 722 篇手稿，涉及 372 个数学问题的解答或进展，成果来自一个未公开的 ChatGPT 前沿模型。这再次点燃了数学界对 AI 证明可靠性的争议。

Google上线实验平台Playground，用户只需文字描述即可生成可玩的游戏并即时调整规则；公司同时宣布与Unity合作推出Unity Spark，补足高端3D与引擎级能力，此举或对Roblox等UGC游戏平台形成压力。

Anthropic 的 Claude Code 创造者 Boris Cherny 在 X 上表示，随着大模型能力提升，用户不需要再写冗长、公式化的提示词，只需说明目标、投入程度和验证方式，像跟同事交流一样即可。

OpenAI 在一个公开 GitHub 仓库中一次性放出 722 篇数学论文，全部由一款尚未发布的内部模型生成，宣称每条结果平均消耗约三小时 ChatGPT Pro 级推理算力。这既是 AI 做数学研究的规模化展示，也把“闭源内部模型做科研、结果是否可验证”的争议摆上台面。

前白宫AI事务顾问Sriram Krishnan正为一支约5亿美元的新基金募资，投向美国成长期和后期阶段的AI初创公司，并把国家安全作为优先方向。这意味着华盛顿与硅谷之间的人才和政策资源正进一步向AI投资领域流动。

据华尔街日报报道，博通正为OpenAI的定制AI芯片安排超过500亿美元融资，甲骨文也在洽谈为大规模芯片采购提供资金。这反映出头部AI公司正把算力竞赛延伸到芯片定制和供应链金融层面。

微软发布搭载Nvidia RTX Spark芯片的Surface AI PC和工作站，主打本地跑AI模型，并带来支持AI代理沙箱化的改版Windows 11，起售价2600美元，直指开发者群体。

vLLM 官方博客称，通过 SWA 有界重放与内核融合等系统优化，DeepSeek-V4.1-Flash 在 SemiAnalysis AgentX 智能体基准上吞吐提升 5.3 倍，低并发速度提升 1.9 倍。

阿里巴巴联合创始人蔡崇信在都灵Wave by Vento活动上表示，开源AI是欧洲实现技术独立与AI主权的唯一途径，并建议欧洲企业用工厂数据自行微调开源模型、自建算力。

Smart Blur 是一款浏览器扩展，能在屏幕共享或截图时自动模糊页面上的邮箱、电话、姓名、地址等个人信息。它把 AI 推理放在本地 WebGPU 上跑，不依赖云端，也无需注册账号。