2024-03-06T04:32:27+00:00 | 🔗
@timschlomi Theorem-proving, I think it's very possible, even probable. Programming in restricted senses yes as well -- I probably use ChatGPT and Github Copilot more than anyone else. But I'm under no illusions in thinking that AI is better everywhere. ML research -- depends.