「数学编程」共找到 1383 篇相关文章
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
现在很多大语言模型常给出看似正确的结论，但推理过程却有问题。斯坦福、伯克利和MIT团队提出新思路，构建IneqMath数据集及‘AI数学裁判系统’，研究发现很多模型推理不严谨，还给出两个提升准确率的办法。
马斯克放出编程界价格屠夫！Grok Code Fast 1：更快，更省，还免费
近日，马斯克旗下xAI发布全新编程模型Grok Code Fast 1，它为“代理式编程”而生，靠全新架构实现高速代码生成。在技术出色的同时，价格低廉还限时免费，虽在部分场景有不足，但仍是开发者实用工具。
Altman 秀新模型“翻车”，谷歌补刀躺赢！OpenAI 前员工爆肝3天，编程再赢老东家模型！
近期 OpenAI 多款未发布新模型登场，一款疑是“伪装的 GPT - 5”，一款编程赛获第二。宣称在 IMO 获金牌的模型遭质疑，谷歌 DeepMind 同获金牌评价更好。OpenAI 前员工编程赛赢老东家模型。
SDD-RIPER 团队落地指南：如何让整个团队在一周内跑通大模型编程
文章提供了 SDD - RIPER 团队落地方案，能让团队一周内跑通大模型编程，质量可控、效果可量化。阐述了推不动大模型编程的痛点及 SDD - RIPER 的解决办法，介绍了部署、实操流程和试点 SOP，还给出效果数据与常见问题解答。
刚刚，GPT-5 Pro自证全新数学定理！OpenAI总裁直呼颠覆，大佬们集体转发
微软前AI副总裁Sebastien Bubeck让GPT - 5 Pro求解论文中未解数学区间，模型将已知下限从1/L推进到1.5/L，虽论文作者后续超了AI，但此发现仍令人鼓舞，大佬认为AI或改变数学领域。
Karpathy：20年的编程生涯几周之内被颠覆，80%由AI来写，Claude和Codex跨过某种一致性门槛
OpenAI创始成员Andrej Karpathy分享用Claude编程心得，工作流从80%手动变为80%由AI完成，阐述AI编程优缺点、影响，还对行业未来提出疑问，认为2026年是充满能量的一年。
阿里 Qwen3.8 正式发布：2.4T 规模，自主编程 16 天搓出一个 Hermes Agent
8月3日，阿里发布新一代基座大模型Qwen3.8，总参数量2.4万亿，编程和办公能力提升，在权威榜单中表现出色。其API已上线，价格有优势。‘千问办公’公测，Qwen3.8性能强大，还适配阿里真武M890超节点。
从马斯克并购 Cursor 说起：国内编程智能体的牌桌、裂缝与全链自主之路
文章从马斯克600亿美元收购Cursor切入，分析海外编程智能体“垂直整合”趋势，指出护城河在全链掌控。对比国内，玩家分散，面临版权、安全等风险。强调中国须走全链自主之路，各层发力，目标是经略全球。
复读一年，AI 把高考数学成绩从及格线提到 145 分！AI 数学能力发生了什么？
今年媒体让AI做高考数学题，Gemini 2.5 Pro获145分排第一。从去年到今年，AI数学能力指数级增长，这得益于推理模型。推理模型用思维链和强化学习解题，未来高考数学或难区分模型能力。
a16z聊AI编程：别担心被取代，新玩家、新范式带来的是「很多」机会
a16z三位投资合伙人认为AI Coding是第二大AI市场，有望成最大单一市场。他们对编程未来不悲观，指出新人群与新方法或催生新软件形态，编程语言不会被取代，资深工程师仍被需要。