「形式化定义」共找到 510 篇相关文章
5Y News｜「自然选择」完成3000万美元融资
AI陪伴公司「自然选择」完成超3000万美元融资，由多家机构联合投资。其推出的《EVE》呈现全新AI陪伴产品形态，从五维度重新定义“AI陪伴”，还发布情感大模型Echo - N1等。
Minion Skills: Claude Skills的开源实现
Claude推出Skills系统，让AI Agent按需处理专业文档。作者在Minion框架中实现开源版本，介绍设计理念、实现细节，包括技能定义、发现、注册表等，还展示效果、亮点，阐述开源原因与未来方向。
LLM的快速、慢速与工具增强思维模式综述
大型语言模型在不同任务中对推理策略需求差异大，策略选择不当会影响效率与可靠性。本文提出双重知识边界框架，梳理LLMs推理模式，将策略选择形式化，还分析了决策因素及策略选择机制。
通义实验室大火的 WebAgent 续作：全开源模型方案超过GPT4.1 , 收获开源SOTA
WebAgent续作《WebShaper: Agentically Data Synthesizing via Information-Seeking Formalization》提出对information-seeking任务形式化建模，设计训练数据合成方法，全开源模型方案在GAIA评测获SOTA表现，还补足了训练数据不足问题。
AI「作业神器」时代，我教书的那些事
AI「作业神器」普及，让学生不愿深入思考。一位教授分享经历，指出AI让课堂沦为防作弊战场，还谈到应对策略，如重新定义作业、鼓励合作讨论等，强调教育要培养独立思考者。
AI出码率70%+的背后：高德团队如何实现AI研发效率的量化与优化
文章围绕建立统一数据采集和指标体系，搭建AI统一数据采集能力，定义AI出码率等核心指标，构建AI效率研发指标体系，还介绍了数据采集方案、指标计算等，实现数据驱动闭环。
开源开发者须知：欧盟《人工智能法案》对通用人工智能模型的最新要求
欧盟《人工智能法》2024 年 8 月 1 日生效，2025 年 8 月 2 日起对 GPAI 模型提供者提出合规要求，科研或开源模型有豁免。本指南助开发者判断合规情况，介绍关键定义、义务及豁免条款，还提供交互式应用。
《动手写AI Agent》流式输出：别让用户干等着
文章围绕《动手写AI Agent》流式输出展开，指出此前Ling使用体验差，因无流式输出，用户等待久。介绍主流LLM流式接口基于SSE，对比OpenAI、火山引擎与Claude格式差异，并定义统一的StreamChunk类型。
我的AI OS搭建思路
作者黄益贺分享AI OS搭建思路。其系统以Claude Code为框架、Kimi K2 Thinking为模型，通过Skill和自定义命令满足工作需求，设计三层文件夹体系处理信息，供大家参考搭建。
Google DeepMind CEO Hassabis 最新访谈：未来十年实现完整 AGI，引领科学黄金时代
Google DeepMind CEO Demis Hassabis在访谈中分享诸多观点。他认为未来十年能实现完整AGI，还谈到Genie 3重新定义视频、人形机器人重要性等，指出AI创造力不足等局限，也提及旗下公司在制药等领域突破。