「数学编程」共找到 1383 篇相关文章
无需人工标注！AI自生成训练数据，靠「演绎-归纳-溯因」解锁推理能力
新加坡国立大学等机构研究者提出元能力对齐训练框架，模仿人类推理心理学原理，将演绎、归纳与溯因能力融入模型训练。实验显示，该方法提升模型在多任务上的性能，且有跨领域可扩展性。
Borg调度进化了！谷歌超强AI Agent 登场：能设计算法、提效系统，陶哲轩亲自助攻，网友封神理科扛把子！
谷歌 DeepMind 推出由 Gemini 驱动的 AI 智能体 AlphaEvolve，能设计算法、提效系统，破多项数学记录。它已用于谷歌多领域，还将探索材料、药物研发等领域，也计划推早期访问计划。
Pony Alpha新模型炸场！全球「猜爹大赛」开启
2月7日深夜，OpenRouter悄悄上线匿名模型Pony Alpha，其编程、推理等体验出色，外网瞬间疯传。全球开启‘猜爹大赛’，Claude、DeepSeek、Grok、GLM各派开吵，还凸显了‘匿名盲测式发布’新打法。
不拼爹，拼AI！青少年们用Claude“写”出百万生意，圈粉25万投资者，谷歌风投也主动求合作？
AI 发展让创业者年龄走低。14 岁 Nick Dobroshinsky 创办 AI 金融平台 BeyondSPX；16 岁 Raghav Arora 开 AI 生鲜配送公司 GetASAP；14 岁 Alby Churven 先做游戏化教育应用，后转向开发 AI 编程工具。
MiniMax开源技能包：让AI写代码从大学生变资深工程师
MiniMax 官方开源 skills 仓库，能提升 AI 写代码质量，从‘大学生水平’升为‘5年+资深工程师’。其覆盖多种开发场景，支持四种主流 AI 编程工具，配置后重启可用，具体效果因场景而异。
半夜被AI「吓醒」！57岁导师投奔24岁华人女学霸，打造「AI数学家」
57岁杰出数学家Ken Ono辞去终身教职，加入24岁学生Carina Hong创办的Axiom Math。Carina履历逆天，想打造「AI数学家」。Ken受研讨会冲击，看好AI数学潜力，将助力模型发展。
吴恩达来信：认识新一代生成式AI应用工程师
吴恩达介绍新一代生成式AI应用工程师，指出其需具备利用AI构建模块开发应用、借助AI辅助编程能力，有产品能力是加分项，还分享面试考察内容与问题。
“每给 Claude Code 提一个请求，我就点上一根烟，放松下”
OpenFGA 核心维护者 Siddhant Khare 写博客吐槽使用 AI 编程的‘疲惫感’，指出 AI 带来职业疲惫却被行业回避，还分析了原因，如任务量膨胀、角色转变等，并给出应对建议，引发工程师共鸣。
OpenRouter模型7月排名：谷歌遥遥领先，DeepSeek 令牌份额占比超越Anthtropic
OpenRouter公布7月模型排名，按模型令牌份额占比，谷歌以43.2%遥遥领先，DeepSeek 19.4%超Anthropic，OpenAI仅5.9%。编程领域Claude sonnet 4占比第一，谷歌Gemini 2.5pro进步大。
Cursor 1.0 正式发布：AI 代码编辑器进入“自动审查 + 记忆”时代！
智能代码编辑器 Cursor 正式发布 1.0 版本，带来多项重磅功能，如自动代码审查助手 BugBot、Jupyter Notebook 原生支持、项目级 AI 记忆等，还提升了用户体验，是向“AI 编程操作系统”迈进的重要一步。