「数学2.0」共找到 2820 篇相关文章
亚马逊100万机器人上岗！即将超越人类员工？机器人军团接管工作
亚马逊仓库迎来第100万个机器人，其机器人数量快与人类员工平分秋色。从机械臂到AI驱动的Vulcan，物流效率提升25%。公司推出DeepFleet优化路径，还让机器人与订单系统对接，但也引发裁员担忧。
普林斯顿等高校提出AgentDistill：无需任何训练即可继承大Agent复杂能力，性能提升48%，成本降低90%
在AI领域，大型语言模型智能体计算需求大限制部署，传统蒸馏技术对智能体效果有限。AgentDistill提出解决方案，让学生智能体复用教师智能体的MCP工具包，无需训练继承复杂能力，小模型性能显著提升。
震撼全网，AlphaEvolve矩阵乘法突破被证明为真！开发者用代码证实
开发者用Claude写代码证实谷歌DeepMind的AlphaEvolve求解矩阵乘法的突破为真，它将4×4复数矩阵计算次数从49次减到48次。小哥测试代码各项指标与论文报告一致，还上传到GitHub。
2025年哪款模型最受欢迎？Poe最新报告：DeepSeek降温、可灵成黑马
AI工具聚合平台Poe发布2025年1 - 5月人工智能模型使用趋势报告。显示模型市场份额消长明显，推理模型势头正劲，图像、视频、音频生成领域各有竞争态势，如DeepSeek降温，可灵成视频生成黑马。
清华提出Jev-LDE：ICL示例只改一次，1-shot平均准确率就能暴涨
清华大学自动化系研究者针对大模型上下文学习（ICL）中示例选择成本高、效果不佳的问题，提出Jev-LDE方法，仅对初始检索示例做一次局部编辑，即可大幅提升1-shot准确率，推理成本增量很低。
GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！
GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。
鹅厂员工都是怎么被AI“糊弄”的？
文章邀请鹅厂同事分享被AI“糊弄”的离谱事件，如AI在发票报销、数学计算、编程问题等方面出错，还会编造不存在的信息，其“系统性可信”假象比单纯答错更危险。
十四年的「管家」局，科沃斯这回把应用定义权交了出来
2026年世界机器人大会上，科沃斯董事长钱东奇提出「未来应用，由用户定义」。回顾过去，从2012年推「亲宝」到2026年发布「八界」，其发展有迹可循。当前，科沃斯推出创新方案和开源生态欲破具身智能难题。
The Batch: 973｜Claude 的水印如何运作
Anthropic将在2026年8月2日后发布的Claude模型全球部署肉眼不可见、机器可读的水印，用于表明文本和图像由其生成。该技术基于Google的SynthID - Text，不过此公告引发广泛争议。
马斯克宣布：Grok学会看片了！无字幕看懂陶哲轩菲奖级难题
马斯克宣布Grok可分析任何视频。它能对伪造视频鉴假溯源，但也有处理画面靠字幕、有幻觉问题和效果不稳定的缺陷。实测中它能理解无字幕视频，还整理访谈内容。这功能虽便利，但引发人类能力退化担忧。