| ▲ | vatsachak an hour ago | |
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 | ||