Thread

If math is more than proof, we need to better celebrate the rest of it

433 points · 285 comments · num42

vatsachak · 1789806053 · focus · HN ↗
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
1. mathisfun123 · 1789817336 · focus · HN ↗
  You missed this from last year
  <a href="https://github.com/anthropics/claudes-c-compiler" rel="nofollow">https://github.com/anthropics/claudes-c-compiler
  Also I dunno why you should be impressed by this - gcc isn't anything near eg navier stokes
  1. vatsachak · 1789829275 · focus · HN ↗
    Okay tell me why that's not even close to gcc. You can use an LLM

Unofficial Hacker News client; not affiliated with Y Combinator.