「形式化定义」共找到 508 篇相关文章
从物竞天择到智能进化，首篇自进化智能体综述的ASI之路
普林斯顿大学等机构研究者发布首个自进化智能体综述，为领域建统一理论框架和路线图。综述给出形式化定义，围绕What、When、How、Where构建分析设计框架，还探讨评估范式并指明未来方向。
它来了！Context Engineering 2.0
SJTU、SII和GAIR新作《Context Engineering 2.0:The Context of Context Engineering》探讨上下文工程，回溯其30年历史，给出形式化定义，提出采集 - 管理 - 使用三维设计范式，还介绍了应用场景。
大模型化身苏格拉底：通过主动提问挖掘人机协作的深度
微软与南加州大学联合团队研究揭示激发大模型主动提问能力新范式。通过定义主动信息收集任务、提出强化微调策略，经实验验证该方法有效，使模型在多领域表现出色，重新定义大模型角色。
首发 | 捏 Ta 完成超千万美金 PreA+ 轮融资，定义 AI 时代世界创作的基础设施
近日，AI原生社区捏Ta宣布完成超千万美金的Pre A+轮融资，由九坤创投领投，BV百度风投跟投等。此轮融资用于招人才、技术研发和拓展产品线。平台从创作角色升级到构建世界，定义‘世界表达协议层’。
CES深思考：没做人形机器人的石头，如何抢占家庭具身智能第一入口？｜甲子光年
2026年CES上，石头科技推出全球首款能扫楼梯的轮足扫地机器人G - Rover，它重新定义空间维度，可在台阶稳定作业。石头科技以场景需求定义形态，研发围绕用户需求，在全球市场表现出色。
Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练
谷歌DeepMind的IMO金牌模型AlphaProof技术细节公开。团队规模小，核心成员是IMO金牌得主。它把数学证明当游戏，用30亿参数模型和改进树搜索算法。训练难题靠自动形式化解决，赛场用TTRL突破，已开放使用。
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind开源形式化数学猜想库，收录经典数学猜想，还提供代码函数方便形式化表述。此库可作测试基准提升AI数学推理能力，是AI+ATP范式关键前置步骤，团队邀更多人参与丰富内容。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
到底谁是第一，阿里和字节吵了起来
AI行业发展，阿里和字节为谁是AI云第一起争执。源于不同报告定义时间滞后、AI云定义不同。MaaS服务是衡量大模型调用量依据，但难定谁领先，阿里云和火山云将有一场恶仗。