「数学突破」共找到 1216 篇相关文章
数学编码超越O3-high，英伟达版「DeepSeek R1二代」推理模型开源~
Nvidia开源OpenReasoning-Nemotron系列模型合集，采用Qwen2.5架构，基于500万条轨迹训练。评测输出长度最高64K token，多版本刷新SOTA。其‘heavy’模式有独特能力，32B版在数学与编程基准超越O3（High）。
Agentic Deep Research新范式，推理能力再突破，可信度增加，蚂蚁安全团队出品
尽管LLM能力提升，但在复杂任务上受静态内部知识限制。业界提出Agentic Deep Research系统，不过现存系统有梯度冲突和奖励稀疏问题。蚂蚁安全团队提出Atom - Searcher，解决上述问题，实验效果良好。
字节开源GUI Agent登顶GitHub热榜，豆包手机核心技术突破26k Star
字节开源的豆包手机核心支撑GUI Agent模型UI - TARS登顶GitHub热榜，突破26k Star。它是多模态AI智能体，纯视觉驱动，部署简单，历经多轮迭代，成为热门开源多模态Agent。
阿里开源Mobile-Agent-v3：多模态GUI智能体，实现跨平台自动化突破！
全新自动化时代，GUI智能体融入日常。阿里巴巴通义实验室推出GUI - Owl与Mobile - Agent - v3，实现跨平台自动化突破。文章解析其发展历程、技术创新，且项目开源，商业化潜力引关注。
刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
本文报道了数学爱好者nor借助GPT-6 Astra，完成了搁置57年的“圆内摆圆”问题中N≤20剩余5种情况的严格最优性证明，展现了AI在数学研究领域的新应用。
陶哲轩博客爆上热搜！25万数学博士临绝境，必须放缓AI
菲尔兹奖得主陶哲轩发声呼吁放缓AI发展，其博客引发数学界关于AI冲击下传统研究体系存亡的大辩论，探讨数学界的转型出路。
字节跳动发布Seed 2.0系列模型，数学能力超越GPT-5.2 High
字节跳动Seed团队发布Seed 2.0系列模型，含Pro、Lite和Mini版。该系列在数学、代码、多模态理解等方面表现出色，价格优势明显，但在编程、事实准确性上与部分竞品有差距，已开放API。
通用级PixVerse P1的技术突破，揣着进入平行世界的密码
PixVerse R1 突然上线，带来「即时响应、即看即创」新体验。它是全球首个支持最高 1080P 分辨率通用实时世界模型，实现从「静态输出」到「实时交互」跨越，本文将解析其技术突破。
鸿蒙终端数量突破千万后，华为发布亿元级应用开发激励计划
华为宣布搭载HarmonyOS 5的终端数量突破千万后，推出「鸿蒙应用开发者激励计划2025」，上亿元补贴，单个开发者累计奖金上限600万。该计划激励力度更大、应用形态更广，意在引导开发者长期投入。
谷歌AI或摘千禧年大奖！华人博士破解百年数学难题，首次捕获奇点
谷歌DeepMind与顶尖机构合作发布重磅论文，用AI在三种流体方程中发现新型不稳定“奇点族”。借助“物理信息神经网络”，开创研究新范式，为数学等多领域带来突破，或攻克千禧年大奖难题。