3 ms·
Much can be resolved when it is understood math is discovered not created. AI is a tool. if it makes discovery or proof easier that is still mathematics. A pro
by morpheos137 3mo ago
Much can be resolved when it is understood math is discovered not created. AI is a tool. if it makes discovery or proof easier that is still mathematics. A proof stands on its own logic regardless how it is derived. The root concern is how ai may provide uplift for mathematical discovery outside of socially expected channels.
- esafak 3mo agoYou're not concerned about mathematics disappearing as a profession?
- morpheos137 3mo agoIt won't. Did automation cause people to stop working in the textile industry?
- frabcus 3mo agoI only did undergraduate level in Maths, and to me there is a key aesthetic element which makes it created. The choice of axioms to use, the choice of with theorems are interesting. Yes the "truth" (doesn't exist, see Gödels theorem) is discovered in a vast, wild landscape that Mathematicians explore. But which areas are worth exploring is a critical question. Partly driven by application, partly aesthetic. It's a quest for simple things that are a bit surprising, or that were hard to make the statements so simple.
- auggierose 3mo agoThe truth very much exists, see Gödel's theorems. People get confused by this created/discovered thing. Of course it is discovered. It was there even before you created it. ;-)