Thread

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

433 points · 285 comments · num42

contubernio · 1789824042 · focus · HN ↗
I'm a professional mathematician. Today I proved what for me is a very solid theorem. It's something I had thought about for a few years. With a few weeks of serious use of AI I've found a proof that I am currently trying to write up, but which appears correct. The change in the workflow is enormous, but so is what one can do if one has clear what to do and how to do it.
1. getnormality · 1789824157 · focus · HN ↗
  Congratulations. You are one of those leading the way, showing how we will adapt and how the world will get better from AI.
  1. 12ha-22t · 1789824616 · focus · HN ↗
    [dead]
    cindyllm · 1789825109 · focus · HN ↗
    [dead]

Unofficial Hacker News client; not affiliated with Y Combinator.