Math academia 2025
> Sorry, only epic problem solvers allowed here
Math academia 2026
> We were more than just problem solvers
I think people are overblowing this though. Wake me up when GPT-whatever writes gcc from scratch, then by the Curry-Howard I'd be impressed