alt Hacker News> Using AI to find and highlight new principles, methods, or insights, rather than merely new proofs.
I would have assumed that, by producing new proofs, the AI has either validated existing principles, or discovered new ones? Isn't that worth studying?
Are mathematicians complaining that reviewing AI's proofs is not as fun as writing your own? Try being a programmer... welcome to our world!
If AI lacks imagination and is not discovering new principles, then it's doing us a favour: it's crossing out the problems that don't need new principles. So the problems/conjectures that are still left are the more interesting ones.
Absolutely not. New proofs aren't the same thing as new proof techniques, AI is not generating new techniques (yet), and while the existence of more mechanical proofs is interesting those same problems if left to human mathematicians would have been much more likely to actually generate new techniques. Much like how tech has a "juniors" problem we're pushing on the future (no reason to hire juniors, so where are tomorrow's staff engineers going to come from), OpenAI's approach generated a "questions" problem where math and AI could happily coexist if we designed that correctly, but instead nobody's going to be generating or working on the right questions anymore.