AI证伪百年数学猜想被打假，Lean证明惊现漏洞，哥大教授破防了
2016年，Yuen在该问题上取得了重大进展，但并未彻底解决。几天前，Lijie Chen发给Henry Yuen和另外几个人一份论文草稿。
AI科学家首过湿实验大考，Physical AI Verifier来了
当AI不再只是纸上谈兵，而是亲手触碰试管与细胞，科学发现的范式正在被重写。过去两年，我们见证了AI在数学、编程、材料筛选等“干实验”领域的狂飙。但一个根本性拷问始终悬在头顶：AI提出的假设，能经得起真实世界的检验吗？
实测这 5 个大厂 Claw，一文说清，普通人到底应该装哪个
本内容来源于@什么值得买APP，观点仅代表作者本人 ｜作者：可爱的小cherry说实话，最近的 Claw 类工具实在是数不胜数，开源的、Sass的、本地的。但在众多 Claw 类工具中，究竟哪些是我们普通打工人最应该安装使用的，它们的效果又有什么差异呢？
AI Scientists终极大考，首个真实湿实验的Physical AI Verifier来了
AI到底能不能自己造AI？别吵了，有人做出来了
现在，一支来自上海交通大学人工智能学院、深势科技、无尽前沿与新加坡国立大学的联合团队，给出了一个很适合放进这场争论的样本。
AI Scientists终极大考，首个真实湿实验的Physical AI Verifier来了
前段时间，Anthropic 展示了一项 AI for Science 研究成果:Claude 在 64 小时内生成了 31.8 万个蛋白质设计方案，经过筛选，211 个被送入湿实验室测试，最终有 17 个达到预设的蛋白结合标准，展示了 AI 科学设计走向真实实验验证的巨大潜力。
「假电脑」教AI用电脑，出的题连GPT-6 Astra都做不对
合成环境后，再在里面合成高质量的 agent 任务、对应的 verifier 验证器，来组成 {environment， task， verifeir} 训练样本，只在这些合成的环境中训练两个 Qwen 模型，却在 8 个横跨 web agent， claw agent 和 GUI computer-use agent OOD 常见评测榜单上全部有提升。
斯坦福推出Agent验证框架「LLM-as-a-Verifier」
本项目由斯坦福大学 CS 博士生 Jacky Kwok 负责，主要贡献者包括伯克利 EECS 博士生 Shulu Li。
17秒验明AI“真身”！Anthropic开源可证明推理系统，能抓模型调包
智东西11月4日消息，今天凌晨，Anthropic开源大模型可证明推理系统FlashProve，详细技术报告于11月2日发布。