8月4日·Meta华人新秀毕树超：RL+预训练直通AGI

8月4日·周一  AI工具和资源推荐

Meta华人新秀毕树超：RL+预训练直通AGI

Meta的华人新秀毕树超在哥伦比亚大学的演讲中，分享了他对下一代大型语言模型（LLM）和通用人工智能（AGI）的见解。他认为，实现AGI的关键在于高质量的数据、好奇心驱动的探索以及高效的算法。毕树超指出，Scaling Law（规模定律）依然有效，数据的质量和“智能密度”才是瓶颈。他强调，人类大脑本质上是一台生物计算机，智能源于与环境的互动和数据学习的规模效应。未来，AI可以通过强化学习（RL）和预训练模型相结合的方式，逐步实现AGI。他呼吁重新审视那些被认为“不可能”的事情，因为很多只是知识的局限。来源：微信公众号【新智元】

ChatGPT只是意外，全能AI智能体才是OpenAI的终极目标

OpenAI的ChatGPT虽然取得了巨大成功，但其真正的目标是打造全能AI智能体。OpenAI的MathGen团队通过攻克数学难题，秘密锻造AI的推理能力，这被视为OpenAI问鼎行业的真正原因。2023年，OpenAI发布研究博客，提出过程监督训练的效果，其模型在国际数学奥林匹克竞赛中夺得金牌，展现了强大的推理能力。OpenAI的CEO奥特曼表示，未来AI智能体将能完成人类交办的一切任务，而GPT-5将成为这一目标的关键。来源：微信公众号【新智元】

全球首个集成云端Agent团队的IDE登场，实现项目级开发全程自动化

国内创业公司芸思智能（AiYouthLab）推出了全球首个集成云端Agent团队的IDE——Vinsoo Code。该系统专为项目级开发设计，支持云端多Agent安全并行运行，能够自动完成代码生成、测试调试、修bug、结果验收和部署等完整开发链路。开发者只需提出需求，多个Agent会自动分工协作，大大提高了开发效率。Vinsoo Code还提供了Vibe Mode和Full Cycle Mode两种运行模式，分别适合快速原型探索和中大型项目开发。来源：微信公众号【机器之心】

腾讯混元开源4款小模型，推动AI普惠化

腾讯混元团队开源了4款小语言模型，包括7B、4B、1.8B和0.5B四个型号。这些模型不仅体积小，而且推理速度快、性价比高，支持在消费级显卡上运行，适用于笔记本电脑、手机等低功耗场景。这些模型在语言理解、数学和推理等领域表现出色，支持垂直领域低成本微调。腾讯混元团队表示，这些模型已在内部多个核心业务中得到应用，如腾讯会议AI小助手、微信读书AI问书等。来源：微信公众号【机器之心】

字节Seed数学新模型，SOTA了

字节跳动发布了全新的复杂数学解决模型——Seed-Prover，该模型在数学推理领域取得了显著的突破。Seed-Prover专注于使用Lean 4进行形式化推理，采用引理式证明作为核心范式，通过生成有用的引理来辅助主要证明。该模型在MiniF2F数据集上达到了100%的正确率，并在国际数学奥林匹克竞赛（IMO）中达到了银牌水准。此外，Seed-Prover还集成了专用的几何推理引擎Seed-Geometry，能够高效解决复杂的几何问题。来源：微信公众号【量子位】