AI寒武纪 on gulucaptain's Bloghttps://gulucaptain.github.io/DailyPaper/tags/ai%E5%AF%92%E6%AD%A6%E7%BA%AA/Recent content in AI寒武纪 on gulucaptain's BlogHugozh-CNSun, 11 Oct 2026 08:30:00 +0800刚刚，陶哲轩加州理工演讲：数学2.0正式到来，证明稀缺性时代彻底结束https://gulucaptain.github.io/DailyPaper/clips/tao-math-2-0/Sun, 11 Oct 2026 08:30:00 +0800https://gulucaptain.github.io/DailyPaper/clips/tao-math-2-0/陶哲轩在 Caltech 讲《Math 2.0》：数学因为「客观可验证 + 高度可数字化 + 海量高质量数据」三特性命中机器学习的最强项，正从证明匮乏时代被拽入证明充沛时代——但解题从来只是人类理解的替代指标，在证明充沛时代这根标尺彻底错位，盲目刷解题速度反而有害；AI 的正确用法不是替人解题…Claude开始接管生物实验室了！Anthropic秘密建实验室，两万亿美元IPO前放大招https://gulucaptain.github.io/DailyPaper/clips/anthropic-wet-lab-claude-robots/Fri, 18 Sep 2026 09:00:00 +0800https://gulucaptain.github.io/DailyPaper/clips/anthropic-wet-lab-claude-robots/Anthropic 在旧金山湾区悄悄建起一座真实的生物湿实验室，目标是让 Claude 直接向机器人单元下达指令、在极少人工干预下完成科学实验——生命科学主管 Eric Kauderer-Abrams 向路透证实了实验室存在，发言人随后澄清并不专门针对药物发现但拒绝透露更多。⭐ 我把它留下的理…