「证明思路」共找到 638 篇相关文章
推理正确率下降65.5%！斯坦福、MIT等用「不等式」拷问AI逻辑极限
大语言模型在数学证明常现推理漏洞，斯坦福等高校团队提出IneqMath基准评估其严谨性。用不等式证明题切入，拆解为子任务，构建评测体系，用LLM - as - Judge审查。结果显示模型推理正确率低，存在结构性缺陷。
专访酷哇杨学：世界模型的下半场，是把一次成功变成长期服务｜甲子光年
在2026世界人工智能大会上，具身智能行业关注点从机器人能动转向能否进入真实场景干活。酷哇科技宣布杨学出任首席科学家，共建通用具身智能联合实验室。杨学认为行业应从证明技术转向证明实用，解决机器人在真实场景的长期稳定运营问题。
Yann LeCun炮轰通用智能完全是BS！Demis Hassabis回怼：大错特错
Yann LeCun在采访中称世上无“通用智能”，认为该概念是胡扯。Demis Hassabis回怼，指出LeCun混淆概念，并从大脑特性、理论可行性及人类文明跨越三方面反驳。
北大团队改造DeepSeek注意力，速度快四倍还不丢精度
北大张牧涵团队提出新稀疏注意力机制HISA，突破64K上下文索引瓶颈，相比DSA提速2 - 4倍，且不丢精度、即插即用。该机制分块级粗过滤和块内精挑字符两步，实测表现亮眼，也指出后续改进方向。
何恺明首个语言模型：105M参数，不走GPT自回归老路
何恺明团队推出全新连续扩散语言模型ELF，不走GPT自回归老路。它将生成过程留在连续embedding空间，最后离散化变回token。ELF用较少参数、训练token和采样步数，跑赢主流扩散语言模型。
Anthropic试图彻底杀死Harness Engineering。
Anthropic推出新产品Managed Agents，定位是帮用户做Harness。它指出Harness保鲜期短，自己维护不划算。技术上把Claude Agent SDK拆成三块，让Harness成可热插拔模块。不过通用Harness有局限，开源社区也有新路线。
开源多模态推理「破壁」时刻：MMFineReason助力4B逆袭30B
长期以来，开源多模态模型在复杂推理任务上与顶尖闭源模型有差距，核心痛点是高质量推理数据匮乏。上海AI实验室OpenDataLab团队开源MMFineReason框架及大规模数据集，小模型凭此实现性能逆袭。
挑战扩散自回归统治！字节提出视觉生成第三种路线，让模型像人类一样边画边改
五一期间字节商业化技术团队研发出新一代视觉生成模型，其底层架构是全新的第三条路——生成精炼网络GRN。它能让AI像人一样边画边改，解决了现有模型的问题，在多项基准测试中刷新SOTA记录。
Neuralink大更新！马斯克再次开启科技狂人模式：意念操控擎天柱，2026年治愈失明
马斯克带领Neuralink团队开近1小时发布会，亮点颇多。如可用Neuralink芯片意念操控擎天柱，研发“盲视”项目助失明者重见。还宣布已为七人植入设备，规划未来发展路径，展示临床成果。
数学大佬在前面拓荒，AI研究员在后面捡宝，菲尔兹奖还能拿来破AI「黑盒」？
菲尔兹奖级纯数学成果落地大模型训练。佛罗里达大学团队用三维挂谷猜想解决大模型“黑盒问题”，GeoLAN加几何约束，效果显著。菲尔兹奖得主Jacob将入职OpenAI，AI在数学领域成果频出。