AI agent系统在定理证明基准测试中表现优异 Yann LeCun我们的全自主AI agent形式验证系统Aleph，在包括PutnamBench、VeriSoftBench和Verina在内的所有主要定理证明基准测试中表现出色 https://t.co/spIql8Pf4g 动态Yann LeCun2026-05-14原文 打开互动版