姚班校友主导，Claude攻克费马大定理首个完整形式化证明
Claude证明费马大定理
排序
去年归国的徐梦迪，成了清华姚班班主任
姚班迎新聚焦AI
海淀AI，集体开弓：少年极客、中年创客与ICU归来者
海淀AI生态发展
阿里在海外上了个“企业级龙虾”，我用它30分钟手搓了一家网店
阿里AI Agent助开店
我的朋友们说，他们决定来参加小红书黑客松巅峰赛
AI黑客松热潮
我试乘伦敦自动驾驶出租车：智能体能应对复杂路况吗？
Wayve自动驾驶汽车伦敦路测
把工作扔给一头骡子，三天后发现它比「牛马」还靠谱
AI Agent产品对比
90后女生一个人做出大厂级龙虾产品Qclaw，小白闭眼入
AI工具Qclaw介绍
OpenAI为龙虾紧急收购了一家23人公司
OpenAI收购Promptfoo
AI工具能够揭露匿名账户身份
AI威胁在线匿名