「开源AI编程工具」共找到 11265 篇相关文章
陶哲轩，用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时代「诺基亚」尚不明朗，新兴模型也带来新变数。
"Slop"当选年度词汇：AI垃圾内容有了正式名分
韦氏词典宣布“slop”当选2025年度词汇，指AI生成的低质量数字内容。过去一年它频繁用于形容AI内容，如今AI生成网络文章占比超50%，还催生“slop经济”，但AI内容或优胜劣汰。
小扎再出奇招：Meta员工绩效，AI来评判
Meta宣布从2026年起用AI衡量员工绩效，考察员工使用AI提升效率及构建工具的能力。今年还推出AI绩效工具Metamate。其他科技公司也在将AI融入员工工作，网友对此褒贬不一。
黄仁勋放话：英伟达全员拥抱智能体！
黄仁勋称英伟达全员将配AI助手，未来AI智能体成主流。Meta小扎、微软纳德拉等也认为AI重塑开发者角色。当下AI编程工具掀起革命，虽有局限，但已改变开发周期，企业多已应用。
马斯克急了，直播回应一切！xAI全新阵容首曝光，华人联创仅剩一人
马斯克召开全员大会回应xAI高层变动，官宣合并后全新阵容。他还介绍了xAI四大核心板块，强调其发展成果，提及编程变革，宣布X平台开源等，更规划在月球建AI工厂。
100万亿Token看懵硅谷！全球一半算力写代码，另一半在「搞颜色」 ？
OpenRouter和a16z联合发布报告，基于100万亿Token实证数据揭秘2025年AI发展。开源模型流量占比达30%，推理模型成主流，编程和角色扮演是主要使用场景，亚洲付费使用量翻倍，中文成全球第二大交互语言。
更先进的AI，就应该发生在“今天” | 甲子光年
AI应用离消费者体验还有距离，行业分歧加剧。9月22日，联发科发布天玑9500芯片，把AI嵌入端侧设备，在高频场景优化体验，还在芯片设计、硬件创新上突破瓶颈，带动伙伴发展，推动AI普及。