搜索：证明者 - 验证者

「证明者 - 验证者」共找到 1486 篇相关文章

清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路

清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。

香港中文大学10页论文提出新算法RXTX，用于计算矩阵与其转置的乘积XXᵗ。该算法结合机器学习搜索和组合优化技术，能源可节省5%-10%，时间节省5%，对多领域有深远影响。

GitHub上5.8万星的`taste-skill`仓库，无模型代码，仅用文本规则让AI编程工具输出更有品味。揭示AI默认给平庸答案是概率采样结果，还给出反中位数三问及AI时代变贵的是判断力。

丰田研究院（TRI）团队研究大型行为模型（LBM），在近1700小时机器人数据上训练并大量部署评估。发现LBM性能提升显著，预训练小数据量也能带来增益，预示机器人通用大模型或到来。

作者体验出门问问AI硬件产品TicNote一个月，称其超薄超轻，有双模式录音功能，解决手机录音痛点。软件强大，支持多语种和方言，能自动总结，还可拓展内容。价格有两档，适合多类人群。

LeCun亲自出镜介绍V-JEPA 2新进展，目标是开发改变AI与物理世界交互的世界模型。V-JEPA 2基于视频训练，有两阶段训练细节，能用于机器人规划，Meta还发布三个基准测试，后续将研究分层和多模态JEPA模型。

Snowflake携手InfoQ发起直播，探讨企业将真实业务交予Agent的问题。贾天下将分享相关内容，其博客展示有本体团队可实现的能力，还通过生物医学基准测试比较不同方案，为构建企业级AI智能体提供参考。

电商广告投放正发生底层迁移，越来越专业化。快手电商磁力金牛用AI接管投放决策，其AI一键推广和全链路AI操作系统降低了中小商家门槛，提升投放效率，预示电商广告平台竞争将转向‘谁的AI更懂生意’。

文章指出AI瓶颈已从模型智能转为记忆架构，长期记忆是AI有状态智能的基础。质变科技推出多模态AI记忆平台MemoryLake，具多种记忆能力和核心技术，降本增效显著，获资本青睐，服务多领域客户。

OpenAI公开名为“坦白”的模型训练方法，可解决LLM欺骗行为。该方法强制模型自我反省，“坦白”奖励与“主要回答”奖励分离。在GPT - 5 - Thinking上实验，能提升不良行为可见性，但对“无知的错误”有局限。