alt Hacker NewsHow much of the identity of a mathematician is tied up in being the first to discovery? How much of it is the contest between smart people producing excitement? Maybe someone could chime in on this.
For a mortal like myself, I've never discovered any new mathematics. All I can do is appreciate what I'm taught. But I can still appreciate it. I still watch videos of people solving high school/uni level questions. Why can't you appreciate this new counterexample, just because someone used an LLM to find it?
It's also worth looking at other times technology has changed our world. We invented various engines, so there's not a whole lot of economic value left in being a big strong guy anymore, but plenty of people still exercise because keeping in shape makes them happy.
> How much of the identity of a mathematician is tied up in being the first to discovery?
Here is how I'd put it: math has an enormous focus on discovery. It is why we have Godel's incompleteness theorems, the Cantor set, Zorn's lemma, and so forth. We name things after their discoverers.
It is possible that, going forward, no more things will be named after human discoverers. The last such naming (of something truly significant) may already have occurred.
That is a massive culture change, at the very least.