刚刚，陶哲轩加州理工演讲：数学2.0正式到来，证明稀缺性时代彻底结束
陶哲轩在 Caltech 讲《Math 2.0》：数学因为「客观可验证 + 高度可数字化 + 海量高质量数据」三特性命中机器学习的最强项，正从证明匮乏时代被拽入证明充沛时代——但解题从来只是人类理解的替代指标，在证明充沛时代这根标尺彻底错位，盲目刷解题速度反而有害；AI 的正确用法不是替人解题…
AI寒武纪
Claude开始接管生物实验室了！Anthropic秘密建实验室，两万亿美元IPO前放大招
Anthropic 在旧金山湾区悄悄建起一座真实的生物湿实验室，目标是让 Claude 直接向机器人单元下达指令、在极少人工干预下完成科学实验——生命科学主管 Eric Kauderer-Abrams 向路透证实了实验室存在，发言人随后澄清并不专门针对药物发现但拒绝透露更多。⭐ 我把它留下的理…