AI在数学证明领域取得系列突破：从单位距离猜想反例到纳维-斯托克斯方程证明
2026年5月至9月，OpenAI与Anthropic等机构报告了多项AI驱动的数学突破，包括推翻厄多斯单位距离猜想、完成圈双覆盖定理证明、推进黎曼假设界估计及给出纳维-斯托克斯方程新证明；文章提出一种非数值化的概念框架解释其能力边界，强调AI在高成本、低梯度的穷举类问题中具备独特优势，但所有成果均未经独立验证或同行评议。
AI NEWS JOURNAL
搜索 AI 资讯
检索标题、摘要与正文，把分散的信息连起来。
Uber 全员启用 ChatGPT Work：3 万名员工接入 OpenAI 企业级 AI 工具
Uber 宣布将其全球约 3 万名员工全部部署 ChatGPT Work，从年初千人试点升级为全公司范围应用；该工具已用于数据分析、多语言培训材料本地化及交互式工作看板构建，但具体使用方式仍由各团队自主探索，公司暂未披露采购金额。
黑客提前四天利用PHP2Shell重大漏洞，亚马逊确认已遭广泛在野利用
亚马逊披露，其通过AI工具发现的PHP2Shell系列漏洞，在官方公开披露前四天已被黑客主动探测并尝试利用；目前该漏洞正被‘广泛在野利用’，全球政企正紧急加固系统。
NVIDIA发布Minerva平台：面向AI工厂的端到端可观测性AIOps解决方案
NVIDIA于2026年10月25日推出Minerva——一款专为AI工厂设计的AIOps可观测性平台，整合基础设施与AI工作负载的遥测数据，通过定制化AI模型实现异常检测、根因定位、故障预测及自然语言交互式运维。