此外该模型并非通过在「特定任务（IMO）」训练达到这一能力水平，而是在通用强化学习和测试时计算扩展方面实现了新的突破。这道公认的难题，人类参赛者也只有6人可以做出，o3、o4-mini、Gemini2.5Pr…

OpenAI的这个o3-alpha模型最终获得了第二，第一名是人类Psyho。o3-alpha还能一句话就生成的「我的世界」模拟器。网友还用o3-alpha创建了一个太空入侵模拟游戏，再次体现了OpenAI这…

通过将刚性骨架嵌入弹性软体体积，并使用MaterialPointMethod（MPM）进行可微分物理模拟，PhysRig能够自然还原皮肤、脂肪、尾巴等柔性结构的变形过程，显著提升角色动画的真实感，解决传统LB…

另一家AI编程公司Cognition跳出来，宣布收购Windsurf剩下的资产，包括没有去谷歌报道的200来号员工。周五一早，WindsurfCEO便跟剩下员工开了会，宣布谷歌要挖走部分员工，还签了个许可协议…

」在2024年7月20日，在第65届IMO中，当时还是高一学生的徐祺铭就以世界第五名的优异成绩勇夺国际金牌。在去年的第65届IMO中，还是武昌实验中学的高一学生邓哲文就为中国队斩获了一枚金牌。高中时，他线上参…

【新智元导读】世界首个实时AI扩散视频模型炸场，Karpathy亲自站台，颠覆AI视频交互，0延迟+无限时长，每秒24帧不卡顿，MirageLSD首次实现AI直播级生成。这些技术共同使LSD能够将高保真视频扩…

在这一点，他同意DeepMind的DemisHassabis的观点，认为AI将对科学进步特别是数学领域产生重要影响。Hinton认为，如果能将人脑的「模拟计算技巧」应用到AI硬件中，未来就有希望打造出更高效、…

但讽刺的是，坐拥近乎无限资源的Meta，却在基础AI模型性能上，落后于其他顶尖的AI实验室。苹果的AI高管一直在考虑采用外部模型来驱动Siri语音助手和其他「苹果智能」功能，这给该团队的未来蒙上了一层阴影。苹…

为了提供更为准确、公平的评估，微软亚洲研究院推出了MMLU-CF，它是基于公开数据源，经过去污染设计的大语言模型理解基准，并已在Huggingface上开放。在MMLU-CF中，研究人员将数据集划分为测试集和…

今年1月，OpenAI发布了首个智能体Operator，让AI像人类一样直接与GUI交互。在最难的数学基准测试FrontierMath中，ChatGPTagent借助代码终端等工具，实现了27.4%准确率，大…

RL里有个核心概念：永远尽量「on-policy」（同策略）：与其模仿他人的成功路径，不如采取行动，自己从环境中获取反馈，并不断学习。有一次收集数据集时，他花了几天把每条数据读一遍，然后给每个标注员写个性化反…

【新智元导读】首个工程自动化任务评估基准DrafterBench，可用于测试大语言模型在土木工程图纸修改任务中的表现。通过模拟真实工程命令，全面考察模型的结构化数据理解、工具调用、指令跟随和批判性推理能力，研…

在项目主页和HuggingFace，对最新Goedel-Prover-V2模型背后技术和性能基准，展开了详实的介绍。BohanLyu目前在普林斯顿大学PLI，从事基于大语言模型与形式化语言的自动化数学定理证明…

耗时30年，近1000页论文，终于攻克了「几何朗兰兹猜想」！最后一篇论文，证明了唯一性定理，并将「几何朗兰兹猜想」推广至一般情况。这一系列研究的完成，彻底为「几何朗兰兹猜想」画上了句号。在陈麟的个人介绍主页中…

极点智能场模型是广义智能体理论的智能体演化动力学机制，是将智能体的五种功能大小映射为一个五维能力向量空间，这个空间的两个极端，即为阿尔法智能体（绝对0智能体）和欧米伽智能体（全知全能智能体），它们构成了理论的…

按递归层缓存（见图2c上）是「选择性缓存」：只有被路由到某一递归层的Token，才会在该层生成并存储它的KV对。如图4a所示，在两种设置下，MoR变体的推理吞吐量都超过了普通Transformer。实验表明，…

【新智元导读】谷歌搜索迎来三大AI革新：集成最强Gemini2.5Pro模型、DeepSearch功能随便用、最引人注目的是AI代打电话功能。其次，对于更复杂的问题，谷歌搜索把Gemini2.5Pro模型的深…

该框架还引入了首个针对多角色对话视频生成的数据集MTCC和基准测试，实验表明其在身份保真和音画同步上优于现有方法。其主要贡献包括：细粒度Embedding路由机制（实现「谁在说什么」的精确绑定）、动态3D-m…

Windsor：「你给我的晕船点了个赞？」 Windsor挑了挑眉：「Javier，咱别装了，你就是Reddit帖子和贺卡鸡汤的混合体，还自恋自己的代码。Gottlieb还表示，AI能让你感觉被看见，但无法让…

这是历史上首次有俄军士兵在完全由机器人系统发起的进攻面前投降。乌军声称，当敌方为避免被炸毁而「宣布」投降时，下一个机器人已经接近了被摧毁的掩体。最后乌军声称：这是现代战争中，首个经过确认的完全由无人平台实施的…