「验证不对称性」共找到 2081 篇相关文章
2025 年 AI 编程趋势：智能体 10 倍生产率放大下的“粪围”蔓延
文章指出 2025 年是体系化跃迁起点，AI 编程工具不断升级。AI 代理能力超代码补全，编程从‘代码直生’转向‘计划先行’，自动验证增强，还有异步化、团队协作等趋势。但 AI 重构有问题，还会放大技术债。
谢赛宁开炮，现场打脸CVPR评审！Sora开山之作DiT被拒，怒斥AI学术圈畸形
在CVPR 2025上获年轻研究者奖的谢赛宁批判AI学术界畸形，回顾DiT、SiT论文被拒却成Sora等奠基成果的经历。他借“无限游戏”与“有限游戏”概念谈AI研究，指出应坚持“无限游戏”，打破当前困境。
高考数学全卷重赛！一道题难倒所有大模型，新选手Gemini夺冠，豆包DeepSeek并列第二
因网友质疑上次测评不严谨，此次用六款大模型挑战含解答题的全套高考数学题。结果Gemini 2.5 Pro夺冠，Doubao和DeepSeek R1并列第二。解答题是失分重灾区，图像题难倒多模态大模型。
Cursor迎来史诗级更新，关于Cursor 1.0.0版本，这里有你需要知道的一切！
2025年6月5日，上线2年的Cursor迎来首个正式版1.0.0。此次更新功能多且关键，如上线代码审查工具Bugbot、全面开放后台代理功能等，虽提升了开发效率，但部分功能有使用成本，对新手不太友好。
从打分器到思考者：RM-R1用推理重塑模型价值判断
伊利诺伊大学香槟分校团队提出 RM - R1 框架，将奖励建模定义为推理任务。它引入推理奖励模型和链式评估准则机制，经两阶段训练，在多基准测试中表现超大规模模型，验证了推理能力对奖励模型的重要性。
Mem0,用LLM给智能体解决记忆问题，开源
大模型训练后知识和记忆不再增加，智能体记忆能力发展不理想。国外Mem0针对AI记忆技术发表论文并开源，提出Mem0和Mem0g两种方案，在不同场景表现出色，已获多应用，还提供SaaS服务。
AI眼镜：又怕小米做，又怕小米不做
过去一年AI眼镜产品密集落地，小米和Rokid跻身全球出货量前三。市场处于“又怕小米做，又怕小米不做”的微妙氛围，大厂试水但未全力投入，给中小厂商留下建立技术壁垒的窗口期，显示技术或成首个分水岭。
5V5电竞版Prompt Battle来了，这是AIFUT大会最后的总结。
AIFUT大会结束，最后半天有圆桌、演讲与Prompt Battle电竞赛。余轶南谈具身智能和家庭机器人；5v5电竞赛红队夺冠；神思远等探讨影视行业；快刀青衣等交流AI创业；张泓等讨论AI投资；吕思彤分享开发经验。
Meta 143亿挖角后首个作品来了：Alexandr Wang 推出闭源模型，杨立坤点赞
沉寂9个月后，Alexandr Wang带队的Meta发布新一代模型Muse Spark。它是原生多模态推理模型，性能媲美Gemini Pro和GPT 5.4，Meta还披露技术实现细节。不过闭源引争议，且模型在长时程智能体等方面有短板。
清华开源教育龙虾，沉浸式互动课堂，运行成本仅为传统的千分之一
清华大学团队将校内验证两年的AI课堂系统OpenMAIC开源。它能把主题或文档转化为互动课堂，运行成本仅为传统MOOC的千分之一。有多种组件，多智能体协作，还支持多种大模型，已获学生积极反馈。