「AI辅助数学」共找到 10001 篇相关文章
用AI写代码效率反降19%！246项任务实测，16位资深程序员参与
研究者让16位经验丰富开发人员完成246项开源代码任务，随机分配是否用AI。结果显示，用AI时完成任务平均时间增加19%，与开发者预测的效率提升24%相反。
从OpenAI AI Phone到Gemini on Android：AI手机时代需要怎样的Agent Harness？
过去一年，AI与手机关系被重新定义，腾讯混元等机构研究PhoneHarness，关注AI在手机上行动及任务完成验证问题。它让手机Agent行动不止GUI，还有Bench检验执行结果，推进AI手机基础设施建设。
当AI比我们更聪明：李飞飞和Hinton给出截然相反的生存指南
如今AI发展火热，人类对其安全担忧已久。李飞飞和Hinton在Ai4 2025上给出相反答案，前者认为AI会成人类伙伴，安全性靠设计等；后者觉得超级智能或难控制，要造‘关心人类’的AI。还探讨了AI行为两种解读。
9 个加速开发者生产力的开源 AI 与 MCP 项目
Github官方精选9个开源项目，分框架与平台集成、开发者体验及AI增强编码、自动化与测试编排三大主题。各项目聚焦不同功能，如将MCP嵌入框架、语义理解辅助编码、安全执行调试等，能加速开发者生产力。
明年让AI可靠地抢走你的活儿？Anthropic 首席产品官曝新年目标：大模型不拼 “更聪明”，终结“公司上AI，员工更累”尴尬
2025 年智能主体全面爆发，编码领域智能体成突破点，Anthropic 的 Claude Code 表现突出，份额超 OpenAI。其首席产品官 Mike Krieger 梳理发展方向，指出明年重点解决企业部署 AI 但员工未变高效问题。
Anthropic发布「AI原生创业公司」手册：涵盖全流程四大核心阶段，一人公司法典来了
Anthropic发布打造AI原生创业公司手册，针对2026年可能性梳理创业四阶段：想法、MVP、上线和规模化，明确各阶段目标、退出标准、失败模式及AI实操练习，涵盖研究、编码、运营等方面。
OpenClaw大考！上海AI Lab InternLM团队WildClawBench 60题，把「龙虾」AI打回原形
上海人工智能实验室InternLM团队推出WildClawBench，含60道高难度任务，在真实OpenClaw环境端到端评测AI Agent。评测涵盖多类别任务，已测14个模型，国产模型表现亮眼，项目开源可复现。
AI本该助力新人，为何反而让高手更强？
人们曾认为AI能让初级程序员创造高质量代码，减少对高级工程师依赖。但现实是‘高手 + AI’才是有效组合。文章分析AI优劣，指出其让高手更强，还给出使用建议，强调要校准对AI的期待。
当EDA（消息驱动架构）遇到AI Agent：消息驱动在智能体时代的重生
文章探讨消息队列与AI Agent的融合。回顾消息队列发展历程，阐述多智能体协作系统成为AI落地核心架构的原因，分析消息队列与AI Agent的融合点，介绍Apache Pulsar对AI Agent的赋能，还展望了AI与中间件的双向进化。
谷歌超强 AI Agent 登场：攻克 300 年数学难题、改进芯片设计！编程迎来 AlphaGo 时刻？
谷歌 DeepMind 推出由 Gemini 驱动的 AI 智能体 AlphaEvolve，能自我进化解题。它破数学界 53 年纪录，解决 50 多个数学难题，还应用于谷歌数据中心、芯片设计等，提升效率。其进化方法独特，还能减少幻觉。