跳到正文
AI NEWS JOURNAL
AI, IN PERSPECTIVE

搜索 AI 资讯

检索标题、摘要与正文,把分散的信息连起来。

按发布时间排序

AI在数学证明领域取得系列突破:从单位距离猜想反例到纳维-斯托克斯方程证明

2026年5月至9月,OpenAI与Anthropic等机构报告了多项AI驱动的数学突破,包括推翻厄多斯单位距离猜想、完成圈双覆盖定理证明、推进黎曼假设界估计及给出纳维-斯托克斯方程新证明;文章提出一种非数值化的概念框架解释其能力边界,强调AI在高成本、低梯度的穷举类问题中具备独特优势,但所有成果均未经独立验证或同行评议。

事件进展与其他报道

欧洲工业巨头依托NVIDIA AI与数字孪生技术重构工程制造体系

欧洲多家领先工业企业正规模化应用NVIDIA CUDA-X、Omniverse、Cosmos及Nemotron等开放模型与工具链,覆盖从产品设计、仿真优化到工厂运营的全生命周期;NVIDIA Factory Operations Blueprint(FOX)已开放早期访问,支持构建实时协同的工业智能体;西门子、梅赛德斯-奔驰、奥迪、空客级供应商等已落地多项验证案例,实现校准时间缩短40%、根因分析成本降低20%等实效。

事件进展与其他报道