「顶会研究」共找到 3132 篇相关文章
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
Anthropic深夜再出杀招！编码AI一键清空桌面，白领末日来临？
Anthropic推出办公神器Cowork，复用Claude Code底层逻辑，可完成日常任务，如整理桌面、处理文件等。它上手门槛低，主动性强，还能持续升级。不过其诞生或冲击初创公司，也需留意使用权限和安全问题。
7.3K Star！港大开源神作，集问答、可视化、出题于一身的 AI 超级导师！
香港大学 HKUDS 开源的 DeepTutor 是爆火的个人学习助手，集文档问答、可视化讲解、智能出题、深度研究于一体，解决自学痛点，还给出了快速入手步骤。
终于，NotebookLM 和 Gemini 合体了。这是什么神之更新？
NotebookLM社交账号更新，现用户可将其笔记本上传到Gemini App，Pro会员在Gemini Web版能用此功能。二者合体类似Agentic RAG，但目前整合欠佳，未来体验有望提升。
51岁周志华、53岁刘云浩，当选中国科学院院士！
2025年中国科学院院士增选结果公布，计算机领域的清华大学刘云浩教授、人工智能领域的南京大学周志华教授当选。文中介绍了二人履历、学术成果，还提及此次科学院完整名单相关情况。
李飞飞最新长文火爆硅谷
AI教母李飞飞发表长文，首次系统性解释空间智能，提出真正具有空间智能的世界模型须具备生成、多模态、交互三个核心能力，还分享World Labs进展及世界模型在多领域的潜力。
刚刚，ChatGPT Pulse上线！私人秘书不再是富人特权
OpenAI官宣ChatGPT Pulse上线，它改变LLM交互方式，从被动变主动。每晚研究，晨送简报，涵盖工作、生活、兴趣目标。其主动受用户控制，还给出三个试用场景。
刚刚，谷歌发布机器人最新「大脑」模型！思考能力SOTA，还能「跨物种」学习
谷歌旗下DeepMind发布Gemini Robotics 1.5系列模型，包括Gemini Robotics 1.5和Gemini Robotics - ER 1.5，能让机器人学会‘思考’，还可跨具身形态学习技能，有望开启通用机器人新时代。
吴恩达来信：Agentic编程与Agentic软件测试协同合作
在人工智能辅助编程时代，自主代理编程系统虽加快开发速度，但存在不稳定性。自主测试可对比代码与测试，对软件基础设施组件测试有益。吴恩达分享编程智能体问题及测试重点领域。
AI浪潮重塑一切，图形学路在何方？北大陈宝权入主SIGGRAPH执委会，肩负新使命
ACM SIGGRAPH 2025年度执委选举结果出炉，选出3位执委，北大陈宝权教授当选Director A。ACM SIGGRAPH是推动计算机图形学和交互技术发展的组织，其会议影响力大。AI发展给图形学带来挑战与机遇。