Mathematicians' AI Attitudes Hinge on Discovered vs. Invented Math Views
What's your take on math+AI?
My thoughts: If you're a mathematician, might your reaction to the AI encroachment be based on your answer to that age-old question: Is mathematics discovered or invented? The most straightforward, even if oversimplified, two-way division:
You're a Platonist, you see math as discovered. For you, you enjoy savoring mathematical gems from the mountain-top, to see the peaks and valleys that existed prior to your arrival. You would enjoy basking in as many vistas as you could.
Or you regard math as invented. For you, climbing the mountain cannot be excluded. Being transported to the summit defeats your sense of accomplishment and struggle. The journey rather than the destination is the primary value. How do these perspectives align with your attitude towards math+AI?
What's your take on math+AI?