「研究与产品」共找到 8038 篇相关文章
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
7.3K Star！港大开源神作，集问答、可视化、出题于一身的 AI 超级导师！
香港大学 HKUDS 开源的 DeepTutor 是爆火的个人学习助手，集文档问答、可视化讲解、智能出题、深度研究于一体，解决自学痛点，还给出了快速入手步骤。
谷歌看了都沉默：自家「黑科技」火了，但为啥研发团队一无所知？
当科技圈为‘谷歌黑魔法’兴奋时，所谓‘并行验证循环’可能是AI生成的‘赛博跳大神’。它号称超越思维链，性能提升显著，但发帖者身份存疑，无可靠源链接，其真实性遭业内质疑。
终于，NotebookLM 和 Gemini 合体了。这是什么神之更新？
NotebookLM社交账号更新，现用户可将其笔记本上传到Gemini App，Pro会员在Gemini Web版能用此功能。二者合体类似Agentic RAG，但目前整合欠佳，未来体验有望提升。
计算机和人工智能领域，新增了两位院士
2025年中国科学院院士增选结果公布，计算机领域的清华大学刘云浩教授、人工智能领域的南京大学周志华教授当选。文中介绍了两人履历、科研成果，也展现我国AI研究飞跃突破。
从 yield 到 await：Python 协程的进化史
文章按时间线与逻辑脉络，讲述 Python 协程从生成器到`async/await`的进化史，介绍各阶段特点、困境及解决方案，如`@wrappertask`的应用，还提及演进带来的启示。
李飞飞最新长文火爆硅谷
AI教母李飞飞发表长文，首次系统性解释空间智能，提出真正具有空间智能的世界模型须具备生成、多模态、交互三个核心能力，还分享World Labs进展及世界模型在多领域的潜力。
Meta打碎Transformer 8年铁律！改写AI最底层规则，模型首次冒出潜意识
Meta推出「自由Transformer」新模型，打破自2017年以来GPT模型核心规则，在解码器引入潜在随机变量Z，增加“潜意识”。仅增约3%计算开销，在多测试中超越大规模模型，或开启后自回归时代。
GraphQA：用自然语言对话分析图数据
图数据常见但分析门槛高，需懂算法和代码。NetworkX 算法多却复杂，普通用户难上手。GraphQA 搭建桥梁，用自然语言接口替代复杂 API，智能选算法，继承 NetworkX 优势还解决易用性问题。
开源全合一智能体沙箱
AIO Sandbox是开源全合一智能体沙箱，将浏览器、Shell等整合到同一容器，提供统一安全开发执行环境。解决传统沙箱问题如文件共享难，有统一文件系统等优势，文中介绍其安装、用法、特性等。