「代理式编程」共找到 1841 篇相关文章
CVPR2026满分论文：Proxy-GS为结构化3D高斯溅射引入统一遮挡先验
上海交通大学钟志航团队等在CVPR 2026提出Proxy - GS，面向基于MLP的结构化3D高斯溅射，用轻量级代理网格将遮挡关系变为可见性信号。在推理和训练阶段发挥作用，在遮挡密集场景实现渲染加速，画质与速度均优。
88岁图灵奖得主，用Claude一小时破解30年数学悬案
88岁图灵奖得主高德纳发文称，他研究数周、可追溯到30年前的三维图论开放问题，被Claude Opus 4.6仅用1小时、31次探索就破解，还给出通用构造算法，这让向来对生成式AI保留的他致敬Claude。
上交大智能计算研究院论文：不只算对答案，大模型如何真正学会运筹建模丨ICLR 2026
上海交大智能计算研究院提出 StepORLM，通过生成式过程监督提升运筹建模可靠性。研究反思传统训练范式局限，在多数据集测试中，小参数的 StepORLM 表现超大型模型，还分析现有方法缺陷并提出解决框架，有重要方法论和应用意义。
录屏扒代码、截图改网页！Kimi K2.5把「视觉x代码」玩明白了
Moonshot AI推出最强Agentic模型Kimi K2.5，发布后热度起飞。它实现多功能一体化整合，具备设计审美，支持可视化编辑，推出编程工具Kimi Code。在多项测试中表现优异，还能在办公领域发挥作用，其智能体集群提升了效率。
天玑9500s正式登场！扩图消除本地跑，《原神》极高画质满帧运行
联发科技发布次旗舰新品天玑9500s，搭载旗舰机NPU，可流畅运行复杂端侧生成式AI模型，还采用3nm制程等，让《原神》极高画质满帧。此外，还推出天玑8500，Redmi Turbo 5 Max将首发天玑9500s。
给AI打个分，结果搞出17亿估值独角兽？？？
大模型竞技场LMArena官宣拿下1.5亿美元A轮融资，估值升至17亿美元。它前身是Chatbot Arena，由LMSYS创建，核心成员多为顶尖高校学霸。LMArena评估规则有趣，成新模型必测榜单，计划用新资金运营平台、扩团队。
英伟达周末双炸！CUDA二十年最大更新，顺手屠榜AGI比赛
本周末英伟达有两大动作。一是推出CUDA 13.1，这是CUDA平台诞生二十年来最大更新，引入CUDA Tile编程模型等。二是在Kaggle ARC Prize 2025竞赛中，团队用4B小模型变体夺冠，靠合成数据等策略。
我的合伙人是AI｜甲子光年
文章讲述AI时代“一人公司”新现象，多位创业者借助AI构建企业运作逻辑。如叶纯俊的公司用AI完成多环节工作，许婷团队让AI参与编程。同时提到投资态度转变，“一人公司”发展有挑战也有机遇。
中国 AI 正处于反超美国的前夜
2025下半年中美AI圈有新现象，一是认可中国AI崛起或反超，如海外企业用通义千问，MiniMax开源模型编程能力强；二是资本豪赌与泡沫风险加剧。中国AI成本低、性能优、ROI高，MiniMax或成中国版OpenAI。
LangChain 彻底重写：从开源副业到独角兽，一次“核心迁移”干到 12.5 亿估值
本周，LangChain 宣布完成 1.25 亿美元融资，投后估值 12.5 亿美元，还发布里程碑式更新，LangChain 1.0 正式登场，这是一次从零开始的重写。它最初是副业，后成热门开源项目，此次重写解决了过往问题。