OpenAI发布论文称用约1万智能体耗时88小时，通过Lean形式化验证了纳维-斯托克斯方程存在有限时间奇点，引发热议。同时，Tailwind被Shopify收购，Meta推出Muse个人AI代理，Flock监控摄像头引发隐私争议，陶哲轩警告AI正不可再生地开采开放数学问题。