「形式化验证系统」共找到 2427 篇相关文章
从豆包手机谈起：端侧智能的愿景与路线图
近日，字节跳动发布豆包手机助手，标志大模型应用从‘Chat’迈向‘Action’。文章解析其关键技术，指出虽具实用价值，但端侧智能体面临安全、自主任务、个性化服务等挑战，还展望了手机助手与端侧智能体的未来发展。
给Agent装上“海马体”！上海AILab开源MemVerse，定义多模态记忆新范式
上海人工智能实验室开源MemVerse，这是首个面向智能体的通用多模态记忆框架。它将多模态信息与文本对齐到统一语义空间，首创‘双通路’架构与‘记忆蒸馏’技术，让智能体有终身记忆能力，在多模态任务中表现出色。
拯救大模型的逻辑短板：Nature文章预测符号主义AI与神经网络的联姻将引爆下一场技术革命
结合逻辑系统与神经网络成AI热门趋势，神经符号AI崛起，旨在弥补神经网络短板。虽面临技术挑战，但已在多领域展现潜力，不过也有质疑声，其发展仍面临诸多难题。
AI如何成为企业的“数字员工”？中关村科金的超级连接答案 | 甲子光年
中关村科金在EVOLVE 2025峰会上，系统回答AI成企业“数字员工”问题。针对落地困境，提出多方案；发布得助智能客户平台5.0等，实现多方面连接；强调务实态度，助力企业智能化升级。
震撼全网！3位00后夺200万大奖，卷走鹅厂顶级Offer
历经四个月，「腾讯广告算法大赛」战果揭晓，「Echoch」战队夺冠，另有两支战队杀入三甲，前十名全员获鹅厂Offer意向书。赛事揭示推荐系统正迈入「端到端生成」新纪元，各战队方案亮点多。
日本供应占90%，国产率不足5%：中国光刻胶谁在破局？
2024年中国光刻胶市场规模达128亿元，国产化率不足5%，而日本占据全球90%以上高端市场份额。文章盘点南大光电、彤程新材等国内光刻胶企业，刻画中国半导体光刻胶突围路径。
我们测试了百度的「AI 科学家」，它正在悄悄淘汰算法工程师
百度 2025 世界大会亮相的「伐谋」，是全球领先可商用自我演化超级智能体。它源于进化论，能让算法自我进化。实测显示其在生活场景和复杂决策问题上表现优越，架构精巧，将推动算法研发普惠化。
JanusVLN：双重隐式记忆解耦语义与空间，开创视觉语言导航记忆新范式
视觉 - 语言导航（VLN）现有主流方法依赖显式记忆面临挑战，未充分利用3D线索。JanusVLN框架引入双重隐式神经记忆，解耦语义与空间信息，实验验证其性能、效率和泛化能力出色。
AI 也有长久记忆了！谷歌Nested Learning让AI拥有持续学习的生命力
Google Research科学家研究直指AI领域难题，其论文《Nested Learning: The Illusion of Deep Learning Architectures》已提交NeurIPS 2025。Nested Learning打破认知框架，提出三大核心贡献，构建HOPE架构，性能优越，将改变终身学习应用领域。
强化学习+大模型记忆：Mem-α，让智能体第一次学会“如何记忆”
在大语言模型发展中，‘记忆’是智能体具备长期智能的关键。现有外部记忆系统有局限，Mem-α将强化学习引入大模型记忆管理体系，解决记忆难题，在性能、泛化等多方面表现出色。