「顶会研究」共找到 3145 篇相关文章
微软 & UT Dallas 联手揭秘：从 SFT 到 RL 的进阶之路
微软与 UT Dallas 合作论文揭秘大模型做漏洞检测从 SFT 到 RL 的后训练流程，构建 C/C++ 漏洞数据集跑通全流程，总结六大‘避坑’指南，还开源整套框架、数据集和模型。
菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？
Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。
王兴兴署名，宇树机器人春晚之后又进化了：单个策略就能学习各种极限动作
春晚上，宇树机器人展现高动态、高协同的全自主集群控制技术。现在，多机构提出 OmniXtreme 通用策略，可执行各种极限动作。该框架分两阶段，经测试在仿真和现实中表现出色，打破了泛化壁垒。
一天两枚“代码核弹”：OpenAI 祭出首个“主打实时协作”的 Codex 模型，谷歌放出 Gemini Deep Think，码力冲到世界前8
OpenAI 发布 GPT - 5.3 - Codex - Spark 研究预览版，专为实时编码设计，降低交互延迟。谷歌更新 Gemini 3 Deep Think，面向科研与工程难题，在多领域测试表现出色，二者引发网友热议。
抖音+Claude Code=？马斯克都要转发的产品！一句话，就能做一个中国风福尔摩斯游戏！
Loopit被称为‘AI编程版的抖音’，用户说句话就能做互动内容，如解谜游戏等。它让编程像拍视频一样成消费品，有创作和社区，结合抖音轻量与游戏互动感，粘性更高。
黄仁勋2026大模型座上宾：杨植麟
在英伟达2026年GTC大会嘉宾中，杨植麟是唯一来自独立大模型创业公司的代表。过往黄仁勋邀人有“风口预言术”，此次选杨植麟，或因他搞出K2.5、死磕推理效率，能给英伟达讲新故事。
永别了，互联网！Anthropic联创爆料：人类彻底出局
Anthropic联创Jack Clark警告熟知的互联网正在消亡。Moltbook作为专为AI智能体打造的社交网络，预示未来互联网将由智能体主宰，人类会感孤独，或需翻译智能体解读局面。
JustGRPO：扩散语言模型的极简主义回归
本文提出回归极简的方法 JustGRPO，在 RL 阶段让模型自回归生成，用标准 GRPO 训练，能超越各类针对 dLLM 设计的 RL 算法表现，提升推理表现同时保留并行解码能力。
燃尽、重启、爆火：Clawdbot 创始人的 35 分钟访谈实录
本文是 Clawdbot 创始人 Peter Steinberger 的访谈实录。他曾经营 PSPDFKit 13 年，后经历三年倦怠期。2024 年受 Claude Code 启发，10 天做出 Clawdbot，几周内 GitHub 星标近 9 万。还谈及模型看法、改名风波及产品前景等。
GPT-5.2破解数论猜想获陶哲轩认证！OpenAI副总裁曝大动作：正改模型核心设计，吊打90%研究生但难出颠覆性发现
OpenAI 发布由 GPT - 5.2 加持的科研平台 Prism 并免费开放。副总裁 Kevin Weil 称目前模型难有颠覆性发现，但能加速科研。GPT - 5 能力超 90% 研究生，OpenAI 将优化其设计，让它更谦逊并自我核查。