「验证者定律」共找到 1332 篇相关文章
ICLR重磅回应：评审回滚、AC重置、封禁泄密者、严查贿赂串通
自11月27日OpenReview平台曝出重大API漏洞，ICLR 2026超10000篇投稿数据泄露，评审流程熔断。ICLR公布处理方案，回滚评审数据、重分领域主席，封禁泄密者，涉串通论文将拒稿。
Claude Opus 4.7发布：更严谨的长任务处理与自我验证能力
Anthropic发布Claude Opus 4.7模型，相比4.6版处理长任务更严谨，能自我验证输出。它在视觉、指令遵循、记忆等能力上提升，企业级应用表现出色，还有新功能与安全特性，不过使用成本更高。
如何科学地“设计”SFT 数据？一次关于 ODA 的完整平台级验证
大模型后训练阶段，SFT数据构建常依赖‘直觉’或‘试错’。上海人工智能实验室OpenDataLab团队发布报告，基于OpenDataArena提出新范式，将数据集构建从‘随机艺术’变为‘确定性工程’，并进行平台级验证。
TR35亚太区入选者名单揭晓！他们是未来创新议程的制定者
本文是《麻省理工科技评论》正式发布2026年度“35岁以下科技创新35人”（TR35）亚太区入选名单，介绍了多位入选青年创新者在AI、生物医学、材料、能源等领域的突破性成果，展现亚太青年创新的交叉化、落地化趋势。
姚顺宇、施天麟聊 RSI：最难的不是实现自我迭代，而是如何验证迭代有效
本文整理自AGI House上海RSI主题圆桌讨论，姚顺宇、施天麟等业内专家围绕RSI定义、落地成果、核心卡点、产业分工展开讨论，指出RSI验证迭代有效性才是当前最大难点。
传奇黑客首次造出“透明芯片”，从硬件到代码全部公开可验证
8月初第34届Defcon黑客大会，主办方发放美籍华裔黑客黄欣国设计的徽章，核心是开源微控制器Baochip - 1x。该芯片从设计到制造全开放可验证，用红外原位检测，还集成硬件加固手段，安全性能对标商用元件。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
最强开源机器人大脑！蚂蚁两万小时真机数据开启物理AI缩放定律
蚂蚁集团开源具身智能基座模型LingBot-VLA，用两万小时真机数据证明机器人学习有缩放定律且未达瓶颈。该模型优势显著，在多平台表现出色，团队还从数据、架构、工程等方面进行优化，并开源代码等加速行业探索。
「机械飞升」18个月后，马斯克首位脑机植入者重磅发声：我重生了！
Neuralink首位脑机芯片植入者Noland Arbaugh术后18个月称像重生，能用思想玩游戏、控家电。Neuralink设备有高连接率、无线等优势，后续将开展盲人视力恢复试验，不过其方法也受批评。
马斯克脑机接口意念控制机械臂！演示者获得钢铁之吻，理论上可控制一切
Neuralink官方视频中演示者已能用意念控制机械臂。升级实验将采用“双植入”方案，首位受试者或二次手术。受试者也主动探索新用法，2024 - 2025年Neuralink多项成果，下一阶段关注复杂神经功能。