「数学验证」共找到 1227 篇相关文章
推荐文章8
陶哲轩长文剖析现代社会：大型组织挤压小型社群，个体陷入疏离困境，AI正在加速这一进程
陶哲轩长文以协作式数学项目社群现象为切入点，提出观察现代社会的框架。指出现代技术和激励体系在赋能个体与大型组织时，严重削弱小型组织，导致个体精神上出现脱节感，AI还在加剧这一问题，并给出新兴草根组织视角。
AI寒武纪
产品应用8
文心X1.1三大能力狂飙，海内外实测还挺惊艳！
9日WAVE SUMMIT深度学习开发者2025大会上，文心大模型X1.1发布，事实性、指令遵循、智能体能力显著提升，多项测试表现佳。它能做到知识一致，精准遵循指令，智能体解决问题出色，代码、数学、多模态能力也有进化，得益于迭代式混合强化学习训练框架。
新智元
新闻资讯8
具身机器人能搞定超市盘点吗？全球七万门店正在给出答案
本文报道汉朔科技联合X-Era Lab（拓元智慧），依托汉朔全球近7万家门店的电子价签数字化底座，结合拓元自研原生世界动作模型VWA，探索具身智能在零售门店盘点、巡检、补货场景的商业化落地，验证具身智能能否从演示Demo转化为稳定运行的生产级系统。
量子位
开源动态6
从100行代码到AI高手：Karpathy留给普通人的硬核AI进阶路线
Karpathy 开源的 7 个极简项目串起完整 AI 进阶路线，从 100 行代码实现自动求导，到几十美元复现类 ChatGPT 模型及自主科研智能体。
GitHubStore
新闻资讯7
1500万美元！OpenAI联手Anthropic，请数学家给AI「验卷」
OpenAI与Anthropic联合Simons基金会承诺1500万美元资金与资源，资助数学家检验AI成果。此前OpenAI放出722篇模型手稿，次日就因符号错误撤回3篇。
新智元
算法论文8
突破人工瓶颈：可自主迭代进化的工业AI系统Astar
阿里与浙大推出指导 AI 系统自主进化的模型 Astar，通过学习历史提交记录探索改进方向，落地 Lazada 推荐业务使线上 GMV 提升 4.86%。
数据派THU
算法论文7
混合架构用线性注意力还是滑窗注意力？复旦OpenMOSS团队：我全都要！
复旦大学邱锡鹏团队系统研究了混合模型在长上下文下的表现，提出滑窗线性注意力策略，使模型在评测中实现 16 倍免训练外推 并保持 100% 准确率。
CVer