「AI 数学发现」共找到 10335 篇相关文章
陶哲轩亲测Claude跑崩电脑，全靠这份保姆级指令清单翻盘
全球顶尖数学家陶哲轩实测Claude Code，首次完全放权致电脑崩溃。后拆分任务、给出「保姆级」指令，约半小时完成证明。他强调人类应保持「人类在环」，拒绝过度依赖AI。
2025-2027年DRAM、NAND市场及价格走势分析
文章分析2025 - 2027年DRAM、NAND市场走势。DRAM因AI需求价格涨，供需缺口大，DDR5将成主流；NAND需求结构性增长，产能利用率提升。技术革新不断，中国厂商崛起，地缘政治影响格局。
DeepSeek 复盘：128 天后，为什么用户流量一直在下跌？
文章深入分析DeepSeek和Anthropic策略，揭示行业计算资源稀缺难题。指出AI服务定价是延迟、吞吐量、上下文窗口三个指标的权衡，DeepSeek牺牲体验换研发，Anthropic提升‘智能密度’优化资源。
刚刚，Anthropic开源Claude挑战黎曼猜想的4篇论文
Anthropic开源未公开版本Claude挑战黎曼猜想的4篇论文。Claude虽未证出猜想，但将零点在临界线上的比例下界从41.6%推到67.2%。整个过程由多智能体自主完成，还建立严格验证体系。
3.1w颗星！一条命令，克隆任意网站
此项目只需给AI编程代理一个URL，就能将网站重建成Next.js应用。介绍快速开始步骤、支持平台、前置要求、技术栈、工作原理、常用命令及项目地址等。
4.5K Star 超极简！挖到一款更轻量的“纳米级 OpenClaw”，8 分钟直接理解源码！
作者挖到更极简的OpenClaw复刻项目NanoClaw，开源3天获4.5K Star。它基于Claude Agent SDK构建，抛弃臃肿设计，拥抱“定制即代码”理念。功能特性丰富，安全模型升级，核心仓库极简能力可无限扩展。
中美服务器CPU供不应求
受AI算力需求增长驱动，存储芯片自2025年进入“超级牛市”。2026年服务器CPU也供不应求，英特尔和AMD考虑提价。缺货因云厂商抢货及厂商供需错配，相关芯片股走强。
功耗激增下的芯片危机，半导体行业如何破局？
人工智能发展带来巨量能耗，芯片功耗激增引发危机。英诺达创始人王琦指出当前问题，英诺达推出功耗解决方案。他还探讨AI在EDA应用，提出国产EDA发展策略，强调坚持等待质变。
田渊栋离职Meta，最后一篇论文？
离职Meta后，田渊栋团队论文被NeurIPS 2025录用。研究提出「三门理论」，发现RLVR微调在小权重发力，不破坏模型结构，还绘制出RLVR训练动态的「参数层面全景图」。
开源多模态推理「破壁」时刻：MMFineReason助力4B逆袭30B
长期以来，开源多模态模型在复杂推理任务上与顶尖闭源模型有差距，核心痛点是高质量推理数据匮乏。上海AI实验室OpenDataLab团队开源MMFineReason框架及大规模数据集，小模型凭此实现性能逆袭。