3月8日·AlphaGo大神与Gemini团队携手打造超级智能，获1.3亿美元融资

AlphaGo大神与Gemini团队携手打造超级智能，获1.3亿美元融资

由DeepMind资深成员Ioannis Antonoglou与Gemini核心贡献者Misha Laskin联合创立的初创公司Reflection AI，近日宣布完成1.3亿美元融资，估值达5.55亿美元。该公司专注于利用强化学习（RL）提升大语言模型（LLM）的自主能力，目标是构建超级智能自主系统。团队成员在RL和LLM领域经验丰富，曾主导开发AlphaGo、AlphaZero、MuZero及Gemini等项目。Reflection AI计划从自主编码入手，逐步扩展至更广泛的计算机工作领域，推动超级智能的发展。目前，公司已获得红杉资本、Lightspeed、英伟达等知名机构投资，其产品在金融服务和技术行业已获得付费客户。来源：微信公众号【新智元】

「Vibe Coding」兴起，AI生成代码成主流趋势

由AI科学家Andrej Karpathy提出的「Vibe Coding」（氛围编程）概念正在成为开发领域的新趋势。该模式通过对话让LLM（大语言模型）编写代码，开发者只需专注于解决问题，而无需深究代码细节。Karpathy曾用一小时完成一个阅读应用和一个战舰游戏的开发，展示了这种高效编程方式的潜力。近期，Y Combinator（YC）执行合伙人Jared Friedman透露，YC W25届中四分之一的初创公司有95%的代码库由AI生成，这表明AI在代码生成中的应用已相当广泛。尽管AI生成的代码可能引入安全漏洞或需要调试，但专家认为，未来工程师需要掌握与AI协作的能力，而非仅专注于传统编程。Vibe Coding的兴起标志着AI正在成为代码编写的主力军，开发者需适应这一变革，以保持竞争力。来源：微信公众号【新智元】

7B级开源小模型在形式化推理与验证领域媲美671B DeepSeek-R1

由香港科技大学牵头，联合中科院软件所、西安电子科技大学和重庆大学等单位的研究团队开源了一系列7B级形式化推理与验证大模型。这些模型在多形式化语言和任务场景中表现出色，性能媲美671B的满血版DeepSeek-R1。研究团队对形式化验证任务进行了分层拆解，构建了包含14k数据的微调数据集（fm-alpaca）和4k数据的测试集（fm-bench），覆盖五种主流形式化语言（Coq, Lean4, Dafny, ACSL, TLA+）。实验表明，经过微调的7B模型在形式化任务上的性能显著提升，平均准确率接近满血版DeepSeek-R1。此外，形式化数据微调还提升了模型在数学、推理和编程任务上的表现，为未来探索模型“元能力”和“能力迁移”提供了新思路。该研究的开源模型和数据集将降低形式化验证的门槛，推动相关技术的普及与应用。来源：微信公众号【机器之心】

港大马毅团队开源SimDINO：用编码率正则化重构视觉自监督学习范式

港大马毅团队联合微软研究院、UC伯克利等机构开源了SimDINO和SimDINOv2模型，通过编码率正则化简化了DINO系列模型的训练流程。DINO系列是当前视觉自监督学习领域的标杆，但其训练过程复杂，依赖大量经验性设计和超参数调优。SimDINO通过移除权重归一化、中心化-锐化操作等复杂组件，并引入编码率正则化项，有效防止特征崩溃，同时简化了训练流程，提高了模型的鲁棒性和性能。实验表明，SimDINO在图像分类、目标检测、语义分割等任务上优于DINO系列，且对超参数和数据变化更稳健。该研究不仅为视觉自监督学习提供了新的范式来源：微信公众号【量子位】

南京AI放大招：Agent平台支持100+智能体，跨系统调用成功率99.2%

南京本土企业江苏汇智智能数字科技有限公司推出了一款基于LLM的生成式AI应用创新引擎——BuffGPT。该平台支持零代码Agent构建、可视化流程编排、检索增强RAG等功能，能够助力企业快速打造AI应用。BuffGPT具备动态任务编排算法、智能体通信协议、资源调度引擎等技术优势，支持100+智能体并发，跨系统API调用成功率高达99.2%，异常恢复率达到90%。其应用场景广泛，涵盖金融、餐饮、医疗等多个领域。例如，在智慧城市政务服务中心项目中，BuffGPT通过可视化拖拽构建跨部门审批链，显著提高了工作效率。BuffGPT的推出展现了南京在AI领域的技术突破和产业化应用能力，也体现了中国在全球AI竞赛中的竞争力。来源：微信公众号【量子位】