这是克雷数学研究所2000年提出的七大千禧年大奖难题之一，悬赏奖金100万美元，困扰数学界近90年。
纳维-斯托克斯方程是描述流体运动的基础方程，广泛用于气象预报、飞行器设计、流体仿真，这道难题核心疑问：如果流体初始状态足够平滑，总动能保持有限，流体速度是否会在有限时间内趋向无穷大，也就是产生奇点。
整套工作流程分为两步：1万智能体并行探索，88小时得到核心证明思路；后续再花费17小时，使用Lean形式化证明系统完成严谨核验，公开长达165页论文与形式化代码。
本次算力消耗巨大，求解该问题消耗约1300亿token，整个项目总消耗接近3000亿 token，项目成本达数百万美元。
历史上七大千禧难题，只有庞加莱猜想被人类数学家完成证明，如果本次成果通过全球数学界同行严格评审，将是第二个被攻克的千禧难题。
但不少顶尖数学家提出质疑，对证明逻辑、成果归属存在不同看法，还有学者提出相关前期研究成果的版权争议，当前克雷数学研究所尚未正式认定该证明成立，还没有颁发千禧大奖。
值得一提的是，OpenAI已经推出的、史上能力最强大模型GPT-6 Astra日前曾一举攻克5道人类悬而未决的Erds数学难题，其中包括包括Erds18岁提出、自称人生第一个正经问题”的1931年解离集猜想，以及极值图论赫赫有名的Erds-Ss猜想，这些题目数十年来困住无数顶尖数学家。
2026年智能客服选型从“能否接入大模型”转向“能否完成任务”。IDC称2025市场71.9亿元增55.3%，竞争聚焦Agent。文章分析8家厂商技术路线，建议按在线、电话、业务办理、人机协同、强合规五类场景验证能力；POC应让Agent真实办业务，关注独立任务、系统调用、异常转人工和持续运营。
2026年智能客服选型核心从“是否接入大模型”转向“能否办成事”。IDC显示2025年市场规模71.9亿元，增55.3%，Agent正从问答走向业务执行。企业应重点考察AI独立完成任务、系统调用、异常转人工和持续运营四类能力，并用真实业务POC验证，而非仅测FAQ。阿里云、腾讯云等依托云生态，专业厂商深耕客户联络场景，路线各异。
今日，努比亚手机宣布，全球首款AI智能体手机努比亚NaviX Ultra将于9月16日14:00正式发布，目前，新机已在各大电商平台开启预约。 此前，努比亚还公布了NaviX Ultra的核心合作伙伴，包括高通骁龙、京东方、长鑫存储、三星半导体、汇顶科技等。 性能方面，努比亚NaviX Ultra将搭载骁龙8 Elite Gen 5芯片，并配备长鑫存储最高速率10667Mbps的LPDDR5X内存。 据长鑫存储介绍，这是国产10667
努比亚总裁倪飞预告，全新一代豆包手机将于9月正式发售，命名为努比亚NaviX Ultra，定位为全球首款AI智能体旗舰。 他表示，从去年12月的M153到努比亚NaviX Ultra正式拿到入网许可，AI智能体手机从概念到量产的最后一公里”，我们走到了最关键的一段。 倪飞坦言，没有现成的路，每一步都需要摸索，也离不开伙伴们的支持。从大模型备案到终端入网，我们率先走完了智能体手�
9月8日，小度科技发布AI看护智能体2.0，家庭看护从被动记录转向主动照护。该智能体能理解自然语言需求并自动拆解执行，生成习惯报告、分级提醒；同步发布摄像机C1500变焦三摄版，本地AI芯片提升识别与风险预警。小度经历固定识别、视觉大模型自定义到智能体三代演进，已进入超5500万家庭，多产品居京东天猫前列。