Comment by zem
3 hours ago
it does not in any way break the mystique of mathematics for me, though that mystique continues to attach to proofs that are in some way beautiful or elegant, whether produced by humans or machines.
as for software engineering, I've definitely used claude to help with both complex problems that I could have worked through myself but with greater expenditure of time and effort, and with problems that I would not have been able to do without spending a lot of time learning my way around a whole new domain, but in both cases what I am most keenly aware of is that I am benefitting from some human (or many humans) having solved this problem before.
I am ABD in mathematics. That was a long time ago. I taught math for many years at a community college. My amateurish but knowledgeable perspective is that these developments shatter the mystique for me.
What AI is showing is that mathematics is mostly just pattern searching and AI can do this far better, faster, and with a much wider base than humans can. When I was working on my thesis problem I realized that I worked much less than my fellow students. I was an average student in my program but even for the best students they had to spend a lot of time thinking about stuff. They put in a lot of effort.
Is the difference between me and Tao mostly effort and that he has a much better memory of mathematical facts than me?
This is only the "problem solving" side of mathematics. Completely missing the theory builders who have completely reshaped the world of mathematics (and far beyond). AI is a long way from matching original thinkers of the calibre of Euclid, Al-Khwarizmi, Newton, Leibniz, Euler, Galois, Riemann, Cantor, Hilbert, and Grothendieck. Or Turing, Gödel and Von Neumann?