搜索：Reasoning新范式

「Reasoning新范式」共找到 4150 篇相关文章

菲尔兹奖得主都栽了！Claude终结78年悬案，或成最重要AI数学成果

78年数学难题“六维球面上有无复结构”被哈佛数学家Levent Alpöge和Claude解决，他们绕开老路造出答案，还给出108页论证，数学家挑不出毛病。Alpöge在35天内三次用AI破难题，这次性质不同，是模型创造新对象。

2024年美国众议院点名批评美资对盛合晶微投资，后将先进封装列为投资禁区。盛合晶微由中芯国际和长电科技合资成立，攻克硅中介层难题。AI芯片变大使台积电产能紧张，盛合晶微为国产芯片提供新选择。

当下推理模型流行在测试时多循环，以打磨答案。但新研究发现，7B模型LoopCoder v2只多循环1次（共2次），就能大幅提升性能，继续增加循环次数，性能反而下降。研究还分析了收益与成本，给出选择循环次数的诊断方法。

英伟达汽车业务虽仅占总收入1%，但十年积累已成气候。其与Uber合作、推广L2级城市功能，到2028年将实现L3高速公路驾驶，仅用1年几乎追上马斯克的FSD。实测中英伟达自动驾驶表现出色，新系统也有诸多亮点。

a16z发布第五期消费级AI应用排行榜，此榜单已成观察AI日常使用趋势的重要指标。新面孔减少，生态趋于稳定。Google发力，多个产品入榜；Grok表现佳，Meta AI欠佳；中国产品崛起，多个上榜；‘Vibe Coding’平台带动其他工具增长。

在AGI Playground 2025上，极客公园张鹏与三位投资人探讨Agent时代投资。他们认为AI创业进入「拼交付」时代，多模态短期影响被高估、长期潜力被低估，通用Agent是巨头之争，垂直Agent是创业机会，还会催生新基础设施，付费模式向按结果付费演变。

新推出的PRBench基准可测AI在金融和法律领域表现。它有19356条专家评估准则，是该领域最大公开基准。顶尖大模型在困难子集得分低，还独创经济路径分析维度，约30%任务为多轮对话，揭示了AI在专业领域的不足。

在2025腾讯全球数字生态大会上，腾讯云智能体开发平台3.0（ADP3.0）面向全球上线，关键智能体技术将持续开源。新版本功能更新多，还有多个落地案例，如帮伊利、华住等落地智能体。腾讯优图实验室也有开源计划。

本文是对淬思科技创始人潘鸿洋的专访，潘鸿洋为复旦博士，淬思科技刚完成新一轮亿元融资，瞄准端侧AI推理成熟阶段的碎片化需求，主打定制专属推理芯片，采用AI原生设计流程压缩开发成本与周期，计划推进首颗商用芯片流片。

南京大学傅朝友团队在Google Gemini评测团队邀约下推出视频理解新基准Video - MME - v2。它有创新的分层能力体系与组级非线性评分，经超3300人工时标注。评测显示模型与人类差距大，还揭示传统Acc指标虚高、‘Thinking’并非总增益等现象。