10.24晚AI前沿速递Anthropic红队联手Theorem Labs发布报告：Claude为数百万行开源代码写下1.8亿行机器可核验的数学证明；陶哲轩、邓煜等菲尔兹奖得主联名信痛批AI数学「严重错位」，奥特曼则在斯坦福讲述数学界面对AI的「五天循环」1. Claude狂写1.8亿行证明：239个测试入口形式化验证全部通过机器核验——Anthropic前沿红队联手Theorem Labs发布报告：Claude在数周内完成123个开源代码库中239个测试入口的形式化验证。2. 数学界与AI的「错位」之争：陶哲轩邓煜联名信 vs 奥特曼「五天循环」——陶哲轩、邓煜等多位菲尔兹奖得主联名发表《人工智能在数学中的严重错位》，批评AI公司把解数学题当基准测试。3. 宇树科技A股首个20CM涨停，王兴兴：真正普及至少要年产千万台——股价报624元、总市值超2500亿元。4. 国内首部持证AI院线电影《三星堆：未来往事》上映——影片由博纳影业出品，历经两年技术探索、累计生成120余万张底图，角色全部采用原创数字形象，全片加注AI创作提示。5. 微信8.0.80正式版适配iPhone Duo——继此前回应「积极推进」后，微信发布正式版更新，腾讯客服确认已适配包括iPhone Duo在内的苹果可折叠设备，内屏分栏等基础功能已支持

财经股票投资