董彬在专访中表示，AI有望化解数学面临的学科壁垒危机，主张拥抱AI推动数学与人工智能共同进化。他提到OpenAI于2026年10月6日发布722份预印本、其团队今年9月公开宫冈-森重文判据的特征零代数证明、以及正在形式化庞加莱猜想等工作。
扫地机器人公司Matic发布视频，展示渐冻症患者、Neuralink第22位植入者Zach McManus通过意念控制Matic扫地机器人。该机器人配备5颗RGB摄像头，可本地构建3D地图，售价1495美元。Matic由两位前Google员工创立，已融资1.15亿美元。
新智元深度对话清华大学教授沈阳。沈阳提出自进化数学（PCU框架）、自进化算法优化（PAE框架）、自进化软件工程（ECX范式）及AI社会未来两种终局前景等四重核心思考，并透露其团队用AI整理出118511个数学猜想并评出前100名，其中哥德巴赫猜想排第49。
在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士励建书与中国工程院院士王坚共同启动“未来数学计划”，并围绕“AI+数学：变与不变”展开主题对话。该计划围绕AI与数学双向赋能，重点开展数学基础模型研发、形式化验证、AI数学机理研究及数学基础能力赋能其他学科四方面工作，并建立开放创新合作机制。
2026开发者日上，OpenAI与ModRetro合作，将AI智能体Codex接入复古掌机Chromatic，并推出Game Studio插件。你只需用自然语言描述想要的游戏，Codex就会辅助生成程序。插件内置模拟器，可先电脑端测试，再串流至真机，甚至写入专用卡带。这为独立开发者开辟了便捷路径。
纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格以个人身份合作研究欧拉方程和纳维-斯托克斯方程相关问题近一年，借助AI工具完成部分计算和形式化验证。研究进展在社交媒体流传后，OpenAI调动大批AI智能体集中研究同一方向，模型在88小时内给出相关证明。双方随后分别发布成果，巴克马斯特质疑OpenAI介入研究的方式，OpenAI否认在成果公开前接触对方论文。
杭州市综合行政执法局9日宣布，两台配备3D激光与视觉融合导航的全自动洗地机器人，已正式入驻七格污水处理厂四期地下箱体，全面接管近3万平方米的保洁任务。相比人工清洁，机器人能适应复杂地下环境，减少安全风险。这是继2023年萧山钱江污水厂试点后，杭州主城区首家大规模部署同类智能设备的大型污水厂，为后续智能化运维提供了范例。
陶哲轩回应称未参与Claude破解纳维斯托克方程传闻，提出AI竞赛可能浪费数学问题价值，并设计“假如AI早来20年”思想实验，建议AI公司优先宣布新数学见解而非解决方案。
陈小杨就AI在数学领域的作用发表观点，认为大猜想的证明需要突破现有工具，这是AI尚未具备的能力；而构造反例本质上是一场极其复杂的搜索，恰好发挥了AI擅长海量计算与自我迭代的优势。
陶哲轩在2026年ICM演讲中提出“证明消化不良”概念，指出AI生成证明速度远超人类审核能力，数学进入证明过剩时代。他提出新准则：作者无法以专家水平清晰解释其结果，即使通过Lean等工具验证也不应发表。他还将AI产出的森多夫猜想证明从9万行Lean代码整理为1.5万行，并连带解决1972年的菲尔普斯-罗德里格斯猜想。