📰 今日头条
OpenAI模型首次自主证明了离散几何中一个存在近80年的核心猜想，被菲尔兹奖得主评价为”AI数学的里程碑”。Google宣布AI Mode搜索结果将引入广告，Anthropic确认将扩展至Colossus2超算集群。
OpenAI模型自主推翻离散几何核心猜想
摘要： OpenAI宣布其通用推理模型自主证明了平面单位距离问题，推翻了Erdős在1946年提出的核心猜想。这是AI首次独立解决数学分支中的著名公开问题，被Fields奖得主Tim Gowers称为”AI数学的里程碑”。
来源：OpenAI
Google宣布AI Mode搜索结果引入广告
摘要： Google官方宣布将在AI Mode搜索结果中展示广告。用户以自然语言提问时，AI生成的摘要和答案旁将出现赞助商链接，标志着AI搜索商业化的重要一步。
来源：Google Blog
Anthropic扩展至Colossus2超算集群
摘要： Anthropic宣布将扩展至Colossus2超级计算集群，将使用NVIDIA GB200芯片。该集群将用于训练下一代AI模型，大幅提升Anthropic的计算能力储备。
来源：Hacker News
OpenAI准备提交IPO申请
摘要： 据WSJ报道，OpenAI正在准备提交IPO申请文件。这一举措标志着AI行业领军企业向公开市场迈出关键一步，上市时间或将在未来数月内确定。
来源：WSJ
新产品 & 新功能
Tycoon AI — 用AI Agent运营一人公司
摘要： Tycoon AI在Product Hunt上线，允许用户通过AI Agent完全自动化运营一人公司，涵盖营销、客服、财务等环节，首日获得195个upvote。
来源：Product Hunt
Google Antigravity 2.0 — 多Agent工作流编排桌面应用
摘要： Google Antigravity 2.0发布，支持用户在桌面应用中编排多Agent工作流，实现跨平台的AI任务调度与自动化管理，获159个upvote。
来源：Product Hunt
Mixpanel Headless — 面向AI Agent的产品分析API
摘要： Mixpanel推出Headless模式，提供程序化访问产品分析数据的API接口，使AI Agent和开发者能直接查询用户行为数据并自动生成洞察。
来源：Product Hunt
Mintlify Workflows — 自更新知识库工具
摘要： Mintlify推出Workflows功能，支持知识库内容的自动更新与同步，由AI检测文档变更并实时修订，适合技术团队的文档管理场景。
来源：Product Hunt
大厂动态
GitHub确认3800个仓库遭恶意VSCode扩展入侵
摘要： GitHub确认有3800个代码仓库因恶意VSCode扩展而遭到入侵。攻击者通过伪装成合法扩展的恶意插件窃取访问令牌，影响范围广泛。
来源：BleepingComputer
OpenAI与Dell合作将Codex带到企业本地环境
摘要： OpenAI宣布与Dell Technologies合作，将Codex AI编程助手部署到混合云和企业本地环境中，满足金融、医疗等行业的私有化部署需求。
来源：OpenAI
OpenAI推进AI内容来源认证标准
摘要： OpenAI宣布推进内容来源认证技术，通过加密签名和元数据标注追踪AI生成内容的来源，旨在建立更透明、可追溯的AI内容生态。
来源：OpenAI
行业观察（可选）
AI从”做题家”到”科学家”：OpenAI模型自主发现数学定理的范式意义
分析： 此次OpenAI模型自主解决离散几何猜想，意义不仅在于数学本身。此前AI在科学发现中的角色多为”辅助工具”——帮人类加速计算、搜索文献、验证假设。而这次证明是由AI独立构思、自主推导完成的，其过程涉及从代数数论中调用非直觉性的工具来解决几何问题。这标志着AI在”科学发现”这条最高难度的智力活动上迈出了质变的一步。随着推理模型的持续迭代，AI从”会做题”到”会做研究”的转变可能会加速，尤其在那些依赖大量数学推理的领域——密码学、理论物理、量子计算等。