MAJEURPosts X2026-10-12 16:13 RT Julia Kempe: Check out our new paper on getting a SOTA harness for Automated Theorem Proving! The "bitterest" part of our lesson, perhaps, was that... SOURCES Yann LeCun2026-10-12 16:13