「探索机制」共找到 1533 篇相关文章
超越宇宙极限：第六位海狸数再次突破，无法用常规数学符号表达
本文介绍「忙碌海狸数」，其前五项为1、6、21、107、47176870。研究人员先后确定前四个数，如今BB(6)再突破，新下界需用新数学符号表达。还回顾探索历程，提及社区用Coq证BB(5)，并指出BB(6)真实值难测。
这些大神在Meta的论文看一篇少一篇了
田渊栋团队剖析可验证奖励强化学习（RLVR）训练动态，戳破参数更新稀疏误区，提出三门理论说明其参数更新定位机制，还为RL训练算法设计提供指导，指出SFT时代参数高效微调方法在RLVR中迁移效果差。
让大模型学会“像人一样”查证真伪
伊利诺伊大学香槟分校等校研究团队提出训练框架Veri - R1，为大模型提供“在线查证”新范式。它借助在线强化学习、精细化奖励机制和高质量数据，让模型学会像人一样查证，在多数据集上表现出色。
OpenAI离职员工自曝：干了一年就润了！007压力逼到极限，AGI成宗教
OpenAI离职员工Calvin French - Owen揭秘公司文化。OpenAI扩张快致机制常调整，靠Slack运转，推崇实力至上、行动导向。Codex从想法到上线仅7周，虽辛苦但成果惊人，还分享了公司在安全、代码等方面情况。
“最美产品经理”宋紫薇，创业AI硬件首款产品曝光
前vivo「最美产品经理」宋紫薇AI创业细节曝光，其创立的薇光点亮瞄准AI化妆镜赛道。智能化妆镜并非新事物，此前存在不够智能、价格贵等问题，而AI赋能或让玩法升级，还能探索新商业模式。
如何让AI帮你做前端自动化测试？我们这样落地了
本文介绍阿里基于AI的UI自动化测试框架在专有云质量保障的实践。框架用开源browser - use等工具，采用自然语言驱动用例、动态元素定位等机制，还应对了大模型幻觉等挑战，也提及构建企业级数据分析Agent方案。
将思维链（CoT）引入具身世界，哪种路径能真正打通机器人「知行合一」？
文章围绕将思维链（CoT）引入具身智能领域展开。介绍CoT从语言层面到成为机器人行为核心认知机制的转变，分析分层架构与端到端模型两种技术路径，还阐述自变量机器人统一架构的优势和能力。
高阶程序，让AI从技术可行到商业可信的最后一公里
文章指出进入AI下半场，可靠性成关键。当前多种探索路径有局限，企业常用RAG、智能体框架等方案也各有问题。而高阶程序（HOP）是神经 - 符号思想的工程实践，能为AI构建可靠控制系统，已在金融等行业展现价值。
微调已死？Google 和斯坦福论文指出AI 学习新范式
Google的ReasoningBank和斯坦福的ACE两篇新论文引发热议，二者都在解决让AI系统真正学会学习的问题。前者是经验管理系统，后者让输入上下文进化，都绕开微调探索AI持续学习与自我改进能力。
万字长文！大模型LLM推理优化技术总结
文章围绕大模型LLM推理优化技术展开，先介绍LLM推理各阶段、批处理、KV缓存等概念及内存需求，再阐述模型并行、注意力机制优化、模型优化和模型服务等技术，如Pipeline并行、MQA、量化、动态批处理等。