「AI解数学题」共找到 9716 篇相关文章
哈佛物理教授疯了：我让AI写论文，结果两周干完博士一年工作！已发顶刊
哈佛物理学教授Matthew Schwartz指导Claude 4.5，两周产出顶刊级量子场论论文，人类博士生则需一两年。实验中AI展现能力也暴露问题，教授总结其优缺点及应对心法，还探讨人类科研人员未来。
别让AI一上来就“进厂打螺丝”：智源悟界·Orca要先教模型理解世界如何变化
智源研究院悟界·RoboBrain Orca Team发布技术报告Orca，探索模型是否理解世界状态变化。Orca尝试在统一世界潜空间学习状态与规律，受海外关注。它先学世界表征，有独特学习方式，经实验验证效果良好。
Docker 通过 Cagent 提供 AI 代理确定性测试
AI 代理系统普及，工程团队面临测试概率性输出的挑战。Docker 的 Cagent 是一种 AI 代理确定性测试方法，采用 proxy - and - cassette 模型，虽处早期，但揭示了 AI 代理测试的不同方向。
对话朱广翔 - 人人都能coding了，软件会消失吗？
本文是对百度秒哒产品总经理朱广翔的访谈。朱广翔认为写代码或成古法，建议别学。秒哒用户有人已赚1000万。他还提出人与AI保持15度夹角，垂直AI产品有生命力，未来APP和Skill将共存。
Anthropic曝光自家整套，AI原生研发手册
Anthropic 在官方博客发布两篇内部实践文章，《The AI-Native SDLC Playbook》讲 AI 承担多数编码工作时软件流程安排，《How Anthropic secures its AI-native software development lifecycle》谈流程自动化后安全体系建设。
马斯克挖不动的清华学霸，一年造出 “反内卷 AI”！0.27B参数硬刚思维链模型，推理完爆o3-mini-high
新加坡Sapient Intelligence推出小参数AI模型HRM，能解决复杂推理难题。它受大脑启发，提出“隐性推理”路径，准确率碾压先进思维链模型，推理能力超越o3 - mini - high，经济性突出，任务效率可百倍提升。
国产算力解决方案，如何赋能“AI for Science”？
AI已成驱动科研范式变革的核心力量，“AI for Science”成趋势。中科院陈刚分享AI赋能高能物理见解，还谈及国产算力方案应用表现，22家机构企业发起“科学智能联合攻关行动”。
Anthropic 新研究：AI出错是“热混乱”
Anthropic研究团队发现AI可能无一致目标，只是瞎搞。他们将AI错误分类，测试发现推理越久越混乱，大模型复杂任务易失控。此发现改变对AI风险的认知，论文已在arXiv发布。
微软强塞AI暴涨价！小哥惨遭Office全家桶绑架，每月含泪打钱一次未用
最新调查称仅8%的人愿为AI买单，科技巨头却将AI硬塞进日常软件。外国小哥Ted Gioia吐槽被微软AI全家桶绑架，付费却未用。巨头此举或为掩盖亏损，Meta还计划激进推AI，而ChatGPT将上线新功能。
GitHub告诉你，开发者真正需要的AI是什么
GitHub高级产品经理与开发者布道师交流发现，开发者想要更顺畅、少打断的创造过程。优秀AI编码工具应守护专注力、减少对话框干扰、赋予开发者掌控权，适应不同阶段开发者需求。