「AI代码工具」共找到 11229 篇相关文章
突破通用领域推理的瓶颈！清华NLP实验室强化学习新研究RLPR
现有基于可验证奖励的强化学习（RLVR）应用范围局限，清华自然语言处理实验室提出 RLPR 技术，通过 Prob - to - Reward 提高概率奖励质量，有领域无关等特点，相关代码等已开源。
刚刚，OpenAI开放GPT-4.1偏好优化DPO，ChatGPT能真正学会你的「品味」了！
OpenAI宣布GPT - 4.1全系列模型支持DPO微调，可让AI通过对比回答学会用户偏好。介绍了DPO原理、适用模型、数据格式、创建任务方法等，还提及开发者反应与技术要点。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
750篇论文，彻底把统一多模态模型摸清了
未来迈向AGI需多模态AI系统。南大等联合发表综述，涵盖754篇文献。分析传统路线痛点，介绍统一多模态模型定义、技术路线、训练方法等，还提及应用场景及未来方向。
Thinking Machines 发布 Tinker，重新定义 LLM 微调的边界
Thinking Machines 发布工具 Tinker，它是灵活的语言模型微调 API，采用‘责任分工’模式，让研究者专注算法创新，不用被运维细节拖累。此模式获 Karpathy 赞赏，目前 Tinker 开始内测，理念受欢迎。
张鹏对谈李广密：Agent 的真问题与真机会，究竟藏在哪里？
本文是《今夜科技谈》直播沉淀，极客公园整理。拾象科技李广密、钟凯祺从多维度拆解 Agent 真问题与机会，探讨产品、技术路径、商业模式等，指出 Agent 发展方向与挑战。
中国光芯片迎来“迈向高端”黄金窗口期
近期光芯片领域热度攀升，政策、产业、资本利好。AI算力爆发使光芯片从‘通信管道’升级为‘战略性资源’，需求大增但供给端短板凸显。本土产业链分层，高端赛道迎来突破窗口期，有三条主流技术路线。
追不上就直接买，马斯克600亿美元收购Cursor
马斯克旗下SpaceX官宣600亿美元收购编程神器Cursor，虽Cursor曾陷“套壳”争议，但双方各有所求。SpaceX在AI编程赛道追赶效果不佳，而Cursor受算力制约，二者一拍即合。此外，SpaceX计划上市，此时收购时机耐人寻味。
谷歌Chrome觉醒！Gemini 3全面接管，38亿用户一夜进入Agent时代
谷歌官宣所有桌面端Chrome浏览器接入Gemini 3，38亿用户的浏览器进化为全能AGI入口。此次更新改变人机交互方式，Chrome具备多种智能功能，如自动浏览、调用全家桶服务等，开启AI驱动的浏览时代。
Sam Altman OpenAI 星际之门与马斯克xAI Colosus 2谁更强？
马斯克与Sam Altman在X上晒自家数据中心进展。OpenAI星际之门项目初始投资5000亿美元，与Oracle新增算力；xAI Colossus 2占地大、建设快，预计几周上线，将成全球最大AI超算集群。