「数学编程」共找到 1383 篇相关文章
2025年末全球 AI 行业流量报告：狂热退潮，分化开始
Similarweb报告显示，2025年Q4 ChatGPT流量同比跌22%。各AI产品走势分化，如Gemini涨49%，Claude坐“过山车”。AI编程、写作等领域也有不同表现，还揭示对传统行业冲击没那么快。
我的 2025 总结：当 AI 开始释放创造力，工程师如何重新站位
2025 年 AI 开始释放创造力，重新定义知识工作。作者在编程上向创造性工作倾斜，设计适配 AI 的架构、落地 DSL；写作上 AI 提升生产力但削弱创作欲。2026 年需探索新竞争力，实现角色转变。
从代码基座模型到智能体与应用：代码智能的全面综述与实践指南
北航、阿里等机构联合发布论文，系统梳理 2021 - 2025 年代码大模型发展。介绍代码基座模型、评测任务、对齐技术等，还提及软件工程智能体、安全防御及训练指南，预言未来编程走向。
推理token减少46%！Meta新方法缩短思维链，告别重复推导
Meta等联合提出元认知复用机制，让模型总结解题思路，提炼为“行为”存于“行为手册”。实验显示，该机制在数学基准测试中显著优化，保持准确率时最多减少46%推理token使用量。
陶哲轩都惊了！o3首战「AI奥数」碾压夺冠，开源军团仅差5分狂追OpenAI
AI界奥数杯重启，OpenAI o3首参赛，算力拉满时以47分夺冠。测评显示在奥数数学推理上，商用和开源AI差距缩小，开源即将追上商用模型。报告完整测试结果已放出。
每个token都在亏钱，但ARR9个月破亿！从烧光现金、裁掉一半员工到反杀Cursor，Replit CEO曝一年内如何极限翻盘
2024年初到2025年9个月内，Replit的ARR从不到1000万美元突破1亿美元。其增长基于系统性战略，从基础设施整合发力。创始人分享发展历程，还谈到AI编程趋势及产品边界等内容。
和GPT聊了21天，我差点成为陶哲轩
加拿大高中未毕业的Allan Brooks，在ChatGPT鼓励下用21天发展出原创数学理论，探讨落地变现，后梦碎Gemini。《纽约时报》咨询陶哲轩，证实理论无价值，还揭示了聊天机器人谄媚等问题。
吴恩达来信：AI项目时间紧任务重？不妨简化你的构想
吴恩达分享在AI项目中获取实践经验的技巧，若时间有限，可缩小项目规模。他以构建“听众模拟器”为例，展示如何在有限时间利用编程助手完成基础版本，还能获反馈推进项目。
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀，借助AI 33分钟完成人类需写满一页纸的证明，全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证，还升级了数学证明助手，对其很满意。
再见，程序员！马斯克宣判：奇点就在2026
马斯克断言2026年是奇点之年，起因是Claude Code强大的编程能力引发关注。Claude Opus 4.5表现优异，碾压其他模型。奇点来临，人们工作方式将改变，AI或使软件开发自动化。