bluesky — Edmund עמוס זוהר S — 7 Oct 2026
AI companies approach mathematical proof the way people who only care about their own orgasm approach sex
#automated-theorem-proving #mathematical-reasoning #ai-limitations
AI companies approach mathematical proof the way people who only care about their own orgasm approach sex