Hacker News Reader

Comment by vouaobrasil | Hacker News Reader

I suspect tools like this will change human behaviour in the future so that no one really understands the math any more. If a solution to the Riemann hypothesis is found with it, I wouldn't be surprised if the person finding it didn't even understand analytic continuation. And that those that do just click like and scroll to the next problem.

View on HN

Hasn’t this been the case for human-made proofs too?

For example, Andrew Wiles’s famous proof touched a number of different, barely-related mathematical fields that no single person could allegedly peer-review it on their own. That was in the 1990s.

A proof may be impossible to fully grok, since about Leibniz - but problems will be solved now without even understanding the problem statement.

No there were a few people that could. And in principle, if Andrew Wiles did it, others could too and were motivated to do it. What I'm saying is that people will be conditioned to explore less on their own with tools like this and thus fewer and fewer will bother understanding the proofs.

Math is getting very specialized it's true, and I think that's part of the motivation to use AI. The specialization is itself a bit of a problem, so AI is simultaneously exposing that and hiding it under another layer of abstraction.

This applies to a lot of scientific and practical (like construction) topics in general. Everyone relies on someone else (or something else) knowing what to do.

Reply on news.ycombinator.com