「数学编程」共找到 1387 篇相关文章
算力十年狂飙100000倍，他却每天担心破产！黄仁勋亲述：如何用“30天危机感”逆袭万亿AI市场
英伟达推出 CUDA Toolkit 13.1，带来 Tile 编程等多项变革。CEO 黄仁勋有强烈危机感，回顾创业阶段。访谈中他谈 AI 发展、意识、工作影响等，认为技术竞赛重要，AI 融入生活但不会有真正意识。
36年卷积猜想被解决，华人唯一作者，AI或受益
华人学者 Yuansi Chen 解决 36 年的 Talagrand 卷积猜想数学问题，论文证明布尔超立方体上热半群下非负函数有更好尾部界限，除额外 log log 因子，主要问题已解决，对多领域有基础意义。
卧底硅谷AI独角兽60天：没有KPI，自觉996，不接受远程办公
本文揭秘了AI编程独角兽Cursor早期工作氛围。它招人不走寻常路，无KPI但员工自发996。产品聚焦提升专业开发者能力，奉行Dogfooding文化。靠使命驱动，两年成业界黑马，重产品轻利益。
Qwen“半成品”推理模型刷下AIME满分，俘获大批国外开发者！实测碾压GPT-5 Thinking、还能写侦探小说
阿里发布 Qwen3-Max-Thinking 早期预览版，虽是‘半成品’，在数学推理竞赛中达 100% 正确率。Qwen3-Max-Preview 多项测试领先，速度超 ChatGPT，还成 AnyCoder 默认选项，但未开源。实测表现有优有劣。
Sam亲自泼冷水，GPT-5意外失手：我们对AI的期待，是否已被整个行业误判？
科技行业集体转向 AI，高管强调其变革性，可 OpenAI 的 Sam Altman 却泼冷水，提醒投资者高估回报。文中围绕‘AI 是否放缓’展开讨论，还分析了 GPT - 5 发布遇冷原因、AI 对就业影响等，指出 AI 发展多且快，未来潜力巨大。
忘掉大模型，微软实证：小模型才是Agentic AI的未来！
过去两年大模型在数学竞赛题上靠Test - Time Scaling发展遇天花板。微软rStar2 - Agent让14B小模型学会‘写代码→跑结果→改思路’，表现出色。还介绍了其基础设施、算法、训练配方等方法。
追平GPT-4o，数学基测96.3%高分，Hermes4 来了
Nous Research推出新一代大模型Hermes 4系列，其有混合推理和长度控制机制，还能用DataForge“造”数据，经Atropos质检。它在数学等领域表现佳，追平GPT - 4o，是开源AI对巨头的挑战。
李建忠：关于AI时代人机交互和智能体生态的研究和思考
在2025全球产品经理大会中，奇点智能研究院院长李建忠分享了大模型驱动的AI产业生态和产品创新。他谈到推理范式转换使模型进入“经验数据时代”，还分析了应用开发、人机交互范式转换及智能体生态演进，预言孤立App时代终结。
训练提速5倍，响应缩短50%：动态自感知能力，重塑高效LLM Reasoning范式
大型语言模型“思维链”技术有冗余，传统优化方案存在静态先验与动态能力错配问题。论文提出的DR.SAF框架赋予模型动态自感知能力，通过三模块协作，实现推理“精准瘦身”，解决根本冲突。
Claude Code 推出学习模式，比ChatGPT更激进：甚至能给你部署作业……
Anthropic为Claude Code和Claude应用推出全新学习功能，Claude Code支持切换交流风格，Learning模式像结对编程，会留作业。Claude实现方式比ChatGPT激进，开发者反响热烈，标志其向更智能教育方向发展。