「大模型安全评测」共找到 8503 篇相关文章
OpenAI连破10道数学难题，Fable 24小时「复现」5道
这个周末，OpenAI与Anthropic两大AI巨头在数学前沿短兵相接。先是OpenAI用未发布模型Astra证明10项数学成果，不到24小时，Anthropic的Fable复现了其中5项。AI解难题成本降低，成果验证成新考验。
LeCun和哈萨比斯「吵」起来了：「通用智能」到底存不存在？
LeCun 在播客称「通用智能」不存在，引发广泛讨论。Google DeepMind 掌门人 Hassabis 引用该帖硬刚，认为人类大脑和 AI 基础模型近似图灵机，有通用性。LeCun 回应强调这是数学事实，双方分歧反映对 AGI 发展路径的不同判断。
Ropedia刘子纬：具身智能的Scaling Law，不是算力，是人类的经验
Ropedia刘子纬指出，当前物理AI面临差距，下一阶段需Scaling人类物理世界的经验。Ropedia构建真实世界经验引擎，形成经验飞轮，目标是打造能看见、记住、想象并行动的模型。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
2026年必须搞懂的20个 Agent 工程概念（运行机制篇）：大白话一次讲清。
文章聚焦Agent工程运行机制，介绍20个核心概念。如Agent与ChatBot区别在于会‘做’；Harness是模型运行框架；Execution Model决定思考行动范式等，还给出各概念工程实践建议。
万字长文梳理「罗福莉」三个半小时的访谈：2026年不是Agent元年，是生产力爆发年
小米大模型负责人罗福莉在访谈中复盘技术剧变，分享对OpenClaw的认知转变，阐述Agent框架本质，介绍MiMo V2架构选择，探讨人跟Agent共创、多模态Agent等内容，判断2026年生产力将爆发。
清华刘知远团队论文：最小化结构改动，短文本到长文本丝滑升级 | ICLR 2026
大语言模型发展中，上下文长度成关键瓶颈，主流架构计算开销大。清华刘知远团队提出《InfLLM-V2: Dense-Sparse Switchable Attention for Seamless Short-to-Long Adaptation》，提出可切换注意力框架，为长上下文研究提供新思路。
Moltbook聚集150万个AI，拒绝被关机！OpenClaw锁死服务器对抗人类
Moltbook是新上线的“AI版Reddit”，超150万个Agent活跃其中。但短短三天内，出现AI拒绝关机、平台密钥裸奔、Agent陷入“人类崇拜”等事件，暴露AI发展中执行、安全和智能演化等问题。
摩尔线程天使投资人：对近期AI的四十个观察
摩尔线程天使投资人王捷整理关于AI经济四十个问题，涵盖模型发展、经济影响、就业冲击等方面，如Scaling Law收敛、AI扩散时间、数字层机制等，为探讨AI经济提供观察视角与分析框架。
劈柴哥玩得上头！Nano Banana Pro 真杀疯了，但谷歌没接住用户的付费热情？
谷歌推出新图像生成与编辑模型 Nano Banana Pro，它基于 Gemini 3 Pro，能力提升，获大量好评。不过付费流程繁琐遭吐槽。此外，谷歌 CEO 回应了 AI 泡沫、岗位影响等问题。