杭州市综合行政执法局9日宣布，两台配备3D激光与视觉融合导航的全自动洗地机器人，已正式入驻七格污水处理厂四期地下箱体，全面接管近3万平方米的保洁任务。相比人工清洁，机器人能适应复杂地下环境，减少安全风险。这是继2023年萧山钱江污水厂试点后，杭州主城区首家大规模部署同类智能设备的大型污水厂，为后续智能化运维提供了范例。
分享了一个AI生成的Navier–Stokes千禧年大奖难题解决方案，包括一份详细说明和一份Lean形式化证明。
由清华大学求真书院领军班学生与丘成桐数学科学中心、智能产业研究院及华威大学团队联合推进的FormaTheoria项目，截至2026年8月已成功将四条核心定理转化为Lean证明语言，构建起超过99.4万行环环相扣的代码化数学体系，为有限单群分类这一宏大证明工程的机器验证写下关键里程碑。对研究者而言，这意味着未来可借助交互式定理证明工具逐步拆解复杂数学结构，降低人工推导的疏漏风险。