Hacker News new | past | comments | ask | show | jobs | submit
Why do nearly all the articles exploring the development of AI applied to math assume that capabilities won’t extend beyond theorem proving?

> other skills will matter more: choosing which terrain is worth exploring, steering fleets of airplanes, and explaining what they find to the rest of the world.

These all seem totally achievable by LLM agents, or at least, I don’t see an obvious reason why it wouldn’t be. 3blue1brown’s recent discussion on this subject was a bit better, but he spent the plurality of main body of the video assuming this scenario, devoting less time to the other possibilities. To me, it seems dangerous to build a math career on the foundation that AI won’t be able to explain math well in a few years, let alone a few months (which seems entirely plausible given the recent math progress).

Because the other option is that AI does what you say. And if you think about it (and you are a mathematitian and not an engineer) it means that AI is able to read our minds and know our desires. And at that point who cares about existence anymore?
loading story #50330081
Ive noticed that too, I don’t know why people talk like we need to figure this out right now

Like we can even know what the future of math is this early

It’s not like you can just declare that up front, it’s something that happens naturally when people spend time using the tools

loading story #50333435
Just because they could, doesn't mean anyone would bother having the AI agents do so.
loading story #50329729
Because if you assume there is going to be an AI-god that can do everything better than us, there's nothing to really do. Like really, what do you want these people to write? "Well, math for humans is over as well as all intellectual activity, better just jerk off watching AI-generated hentai all day until I die"
loading story #50332992
loading story #50329712