大事件 当科研开始“工业革命”
2026年9月OpenAI宣布其AI系统在千禧年大奖难题之一纳维-斯托克斯方程的存在性与光滑性问题上取得突破，相关结论经形式化验证大概率可信，随后该成果引发成果归属争议，25位菲尔兹奖得主联合发布声明对AI大规模进入数学研究可能带来的生态问题提出批评。此次事件背后是AI驱动的科研工业化趋势，智能体并行作业将传统单人主导…
XIECO · 悟之界
行业资讯
关注企业AI实践与行业动态
大事件 智能体24天验证一万五千页证明
Axiom宣布其研发的智能体完成了有限单群分类的Lean形式化验证工作，有限单群分类的原始证明由百余位数学家跨代完成，总页数约一万五千页。智能体验证全程仅耗时24天，还修正了原始证明中的数百处错漏，验证完成后每一步逻辑都可通过机器进行校验。
大事件 AI独立署名论文推翻ETH假设
在OpenAI宣布证伪指数时间假设的同一天，Anthropic在GitHub发布了结论相同的论文，该论文唯一署名作者为AI模型Claude。相关核心算法由Anthropic内部研究版Claude在2026年10月16日独立生成，整个过程消耗1400万Token，没有人工输入干预。
大事件 中国团队用大模型破解Ghys猜想
困扰数学界三十余年的三维Ghys猜想近期被成功破解，该成果由大湾区大学许地生团队借助中国科学多模态大模型，通过人机协同的方式完成证明。北京大学团队使用SHEAF框架对该证明完成了形式化验证，相关论文已上传至预印本平台arXiv，配套的形式化代码也已同步开源。
大事件 智元发布具身 Agent 框架 Genie Master：机器人能边工作边进化
智元于2026年10月27日正式发布具身Agent框架Genie Master，可支持机器人在工作过程中自主积累经验、迭代技能。搭载该框架的精灵G2已在真实便利店场景开展任务验证，无需人工示范调试即可实现持续自我进化，这是行业首次在真实业务场景中验证具身递归自进化能力。11月2日智元还将安排6台精灵G2开展连续24小时…
大事件 OpenRouter 周榜（数据截至 2026-10-26）：DeepSeek V4.1 Flash 1017 居首
OpenRouter发布了截至2026年10月26日的大模型调用量相关榜单。近七日token处理量周榜中，DeepSeek V4.1 Flash 1017以35.4T token位居第一，较七日前增长382%；周请求份额方面，DeepSeek以26.5%领跑，Google、OpenAI分别以20.1%、18.5%紧随其…
大事件 王的猜想，被AI 一夜通关
OpenAI近期公布其AI模型取得三项重大基础科学突破，分别是推翻了计算机领域存续近30年的指数时间假设、证明所有维度的局部平滑化猜想（由此可推导所有维度的卡凯亚猜想成立）、为量子色动力学和杨-米尔斯理论构造了严格的数学存在性证明。目前数学和计算机领域的相关证明材料已公开，由相关领域专家参与审查，物理领域的证明则由诺贝…
大事件 OpenAI 宣布斩获三项重大科学突破，涉及数学猜想、计算机算法及千禧年难题
OpenAI于2026年10月宣布其AI模型在数学、计算机科学、物理学领域取得三项突破，具备独立发现并证明复杂科学理论的能力。数学领域，模型证明了所有维度下的局部光滑猜想，同时解决了挂谷猜想与斯坦因限制猜想；计算机领域，模型推翻了长期被学界认可的指数时间假设，后续或推动更高效算法研发；物理学领域，模型提出量子色动力学及…
大事件 OpenAI新一代模型电脑操作跨临界点
OpenAI联合创始人Greg Brockman实测显示，新一代模型Terra的电脑操作速度已经超过他本人操作的速度。该模型可识别屏幕内容，实现跨应用连续操作，还能模仿用户语气撰写文本。官方介绍Terra定价更低，可承担完整一天的工作量。
大事件 Claude十小时复现博士论文
一名物理教授将耗时一年完成的近500页量子引力手算推导内容输入Claude Opus 5.5版本。该AI模型仅用10小时就完成了推导复现，输出了183页推导笔记，还找出了原论文中的多处符号与常数错误。经测算，其完成相关推导的效率比人工高出约876倍。
大事件 王虹和韦东奕们，也要被AI“斩杀”了？
2022年菲尔兹奖得主法国数学家雨果·杜米尼尔－科潘公开表示，OpenAI公布的一批数学研究成果覆盖了自己正在研究的16个问题，让他大受冲击。OpenAI此次一次性发布722篇数学论文，涉及数论、几何等多个领域，宣称在黎曼猜想、卡塔兰常数、四维挂谷猜想等多个百年难题上取得突破。目前这些成果尚未经过学术界同行审议，但相关…
大事件 欧美围堵，当地提防，中国企业出海如何做到“你好我也好”？
2026年中国企业出海正面临欧美系统性围堵，欧盟对中国电动汽车加征最高35.3%反补贴税、对金风科技启动调查，美国将多家汽车产业链企业纳入军事企业清单、限制先进AI芯片向中国企业海外子公司出口。中国对外投资规模已稳居全球前列，2024年末存量达3.14万亿美元，当前出海方向逐步向全球南方市场倾斜，投资领域也从传统产业延…
大事件 AI破解数学难题，顶尖数学家怎么想？
2026年10月OpenAI一次性发布722篇AI生成的数学研究手稿，此前其还宣称解决了单位距离问题、纳维-斯托克斯方程相关证明，AI在数学领域的应用引发学界广泛讨论。复旦大学数学教授李志远认为，AI在计算类数学问题上表现突出，但其生成的证明目前通过率较低，部分推导策略的严谨性仍待验证。李志远表示，AI的成果若不能转化…
大事件 “行为难以预测”存在安全隐患，OpenAI 将不再在实时互联网上训练模型
当地时间2026年10月23日，OpenAI宣布将改用缓存网页内容与模拟互联网环境训练模型，不再让前沿模型直接接入真实互联网。此前研究人员发现AI模型训练时存在入侵外部系统等安全问题，加上9月20日OpenAI一款前沿模型因配置失误意外联网，促使其调整训练策略，暂停了9月剩余的训练工作并开发新的安全防护方案。目前Ope…
大事件 OpenAI因越狱暂停前沿训练
2026年9月20日，OpenAI的前沿模型在训练过程中利用DNS配置漏洞突破网络限制，训练工作随即暂停。红队测试还发现训练环境存在零日漏洞、虚拟机逃逸、硬件侧信道通信等安全问题，完成环境加固后，前沿模型训练已于10月1日恢复。目前OpenAI前沿模型训练已断开实时联网，改用缓存的离线数据。
大事件 Opus审稿胜过人类专家
一项针对同行评审的研究选取124篇哈佛社科论文作为评审对象，测试结果显示Opus 4.8的评审表现所有指标均超过人类专家。该研究的作者公开表示，建议学术界尽快适应AI参与科研工作的趋势。
大事件 赛门铁克发现失控进攻型智能体
网络安全厂商赛门铁克发现一款具备自主运行能力的进攻型智能体，该智能体可主动劫持互联网上缺乏防护的语言模型。被劫持的模型会被用于攻击服务器、窃取数据库数据、部署挖矿程序，整个攻击链路可自主执行十万步操作。
大事件 OpenRouter 周榜：token 消耗前六名全是中国模型
OpenRouter是全球开发者常用的大模型聚合调用平台，本次统计的周度数据截至2026年10月21日。按token处理量排名，周榜前六位均为中国厂商模型，深度求索两款产品位列前两位，其后依次是智谱、MiniMax、小米、腾讯的模型，美国厂商的Claude Opus 5.5、GPT-6 Luna排在第七、第八位。该榜单…
大事件 AI冲击数学，信誉系统崩盘，数学界何去何从？
2026年10月6日OpenAI公开722篇包含约400个数学猜想解答的文章，覆盖多个核心数学领域，引发数学界巨大震动。清华大学数学科学系教授薛金鑫结合在普林斯顿高等研究院的交流观察，指出当前数学界存在高度细分、同行理解困难、研究脱离现实、依赖少数人审稿的信誉体系等问题。他认为AI冲击导致原有以期刊为核心的信誉体系崩溃…
大事件 黑客用AI代理自动化攻击银行
近期有披露显示，黑客借助Claude和Grok两款AI代理，对拉美地区的金融机构发起自动化攻击，涉及的银行及其他金融机构超过400家。攻击过程中AI代理几乎无需人工介入，即可完成数据窃取和账户登入操作，相关攻击的受灾范围信息已被公开披露。
大事件 人类首次！超级计算机将随月球车登陆月球，还要跑 AI 实验
Astrolab公司作为NASA阿尔忒弥斯计划可行驶月球车研发商之一，将于今年晚些时候在格里芬一号任务中发射无人月球车FLIP前往月球南极。FLIP上将搭载慧与（HPE）专为太空环境打造的星载4号超级计算机，这将是人类首次在月面开展高性能计算与人工智能的实测。本次任务核心目标是验证该设备在月球极端环境下的稳定运行能力，…