2024-06-05T04:15:20+00:00 | 🔗
@timschlomi AI is very good at math. We have alphageometry. Theorem proving is just hard, most people struggle enormously, AI performs appropriately and gets the basics