「AI 开发工具」共找到 10585 篇相关文章
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
AI Infra进入自进化时代！清华团队用「AI优化AI」造就国产万亿Token工厂
AI自主优化RSI成新焦点，被视为通往AGI的关键路径。硅谷为此沸腾，中国也不落后。清昴智能由清华团队创立，率先打造自进化算力底座，还基于国产算力打造万亿Token工厂，目标是让优化成为持续运行的基础能力。
AI写爆款博客火出圈，主笔竟是Claude！
Anthropic为Claude开博客展示写作能力，内容经团队把关。AI写内容已不新鲜，但多有翻车。普华永道研究称AI提升员工创效，重塑企业运营逻辑。多公司推行AI战略，不过学生用AI作弊引担忧。
AI逼疯七巨头，马斯克们深陷中年危机！
人工智能来势汹汹，科技巨头们陷入「AI焦虑」。谷歌搜索危机、苹果AI滞后、马斯克的特斯拉销量滑坡，巨头们面临挑战，谁会成AI时代「诺基亚」尚不明朗，新兴模型也带来新变数。
Redis 之父：哪怕被喷我也得说，AI 远远落后于人类程序员！开发者跟评：用大模型气得我自己写代码都有劲儿了
Redis 之父 Antirez 分享研发经历，认为人类程序员比大模型出色，人类能打破常规想出更有效解法。他在修复 Redis 复杂 bug 时，与 Gemini 2.5 PRO 交流，凸显人类创造力优势。开发者看法不一，AI 虽成工具但缺创造力。
"Slop"当选年度词汇：AI垃圾内容有了正式名分
韦氏词典宣布“slop”当选2025年度词汇，指AI生成的低质量数字内容。过去一年它频繁用于形容AI内容，如今AI生成网络文章占比超50%，还催生“slop经济”，但AI内容或优胜劣汰。
智能体时代的人月神话
作者 Wes McKinney 因 AI 打乱睡眠作息，在工程师圈子热烈讨论人类技术优势。他开发 RoboRev 工具，结合《人月神话》探讨软件工程未来，指出智能体虽提升生产力，但面临本质复杂性、范围蔓延等问题，设计与品味仍至关重要。
Agent+Code，打开AI开发新范式
当下企业级AI叙事逻辑转变，传统AI应用有瓶颈。京东云在JDD 2025大会提出“深度应用”理念，推出“Agent+Code”新范式，其包含JoyAgent 3.0和JoyCode 2.0，还通过开源引领行业创新。
刚刚，中国AI交卷！40年难题56分钟破局，AI不再「学习」
文章介绍AI科研应用新趋势，从学习已知知识转向搜索未知解。以百度‘伐谋’为例，它助力南京林业大学检测松材线虫病，还在多学科和产业场景中展现价值，百度还启动科学家计划推动其发展。
谷歌2025「复仇爽文」大结局！从至暗时刻到王者归来
2025年谷歌上演AI复仇大戏，年初被唱衰，年底凭Gemini 3等组合拳重回巅峰。在模型、开发、创意等8大领域突围，还兼顾安全责任。全年各月不断推新，涵盖系统、工具、模型等多方面。