值得关注X 动态2026-10-12 16:13 看看我们的新论文：为自动定理证明打造 SOTA 评测框架！这次教训中最“苦涩”的部分，或许是我…… 一篇新论文介绍了为自动定理证明打造业界领先评测框架的经验，并坦率分享了真正起决定作用的教训。 报道来源 · SOURCES Yann LeCun2026-10-12 16:13