alt Hacker NewsAs a math prof, I care(d) much more about proof than intuition, not because proof is more important, but exactly because intuition is (I'm a bit Chesterton-ish here haha). You cannot do proof without intuition hence, if you emphasize proof, intuition will take care of itself. Whereas if you emphasize intuition, students won't have any idea of what a rigorous proof should be.
Replies
>You cannot do proof without intuition hence, if you emphasize proof, intuition will take care of itself.
This isn't always the case. Our algebra (or analysis) course focused a lot on proofs for the exam. The result was that a lot of people learned the proofs by heart.
Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition . . . and honestly I don't think many people believe that, and rightly so, certainly not in the way Poincaré was on about.
Maybe it's been done, but I'd like to see an LLM recreate Euclid from questioning without having seen it during training.
As a math professor, I care much more about the key idea, heuristics, and motivation than the proof. With the others in place the proof is clear, something an AI or a student can do.
To agree:
In my experience, proof is the gym reps that allows you to harness strong intuition elsewhere.
In practice as an engineer, intuition is far more useful, eg, being able to “feel” when something is off in our reasoning — but proofs are where I train those same sensibilities on “harder” problems, (eg) details about how to model identity, equality, and equivalence in a formal model.
As someone who mostly only applies math, that strikes me as a peculiarly academic take. Intuition is more important for me because it’s what enables me to know what methods are most applicable to whatever practical problem I’m trying to solve. The proof’s purpose is to verify my intuition. It’s just a means to an end. I only take the time to do my own when I can’t confirm what I need from a textbook or paper.