4 ms·
The job of a mathematician is to study mathematics, not to create proofs. An automatic proof solver doesn't make mathematicians obsolete any more than the exce
by Legend2440 3mo ago
The job of a mathematician is to study mathematics, not to create proofs.
An automatic proof solver doesn't make mathematicians obsolete any more than the excel sheet made accountants obsolete.
- esafak 3mo agoConjectures and proofs are the fruit of the understanding. Nobody gets paid to think without producing anything.
- moi2388 3mo agoHow about philosophers?
- QuesnayJr 3mo agoThey get paid to produce confusion.
- weatherlite 3mo agoThey're getting paid?
- psychoslave 3mo agoIt looks like it might confuse you, so they did the job well apparently.
- QuesnayJr 3mo agoPhilosophy majors do surprisingly well in getting jobs outside academia, so I think the market demand for confusion is bigger than you might guess.
- weatherlite 3mo agoAt Burger King?
- Ancapistani 3mo agoI worked with two philosophy Ph.Ds in corporate strategy years ago. An a chemical engineer, and a nuclear engineer. We were all managing excel documents at the time.
- Shorel 3mo agoThey make cab rides more enjoyable with their deep conversations.
- esafak 3mo agoGood example! I think philosophy's purpose is to clarify and systematize unexplored intellectual areas. I imagine philosophers today are already using AI as intellectual sparring partners. I suppose if energy were cheap, we could run AIs all day long to pontificate like humans and write philosophical tracts on the issues of the day. When that happens, we will see if they say anything of merit. Mathematicians will soon be left only to conjecture, with proofs being automated. The issue I see is that AI will devise proofs that are beyond our comprehension, since humans are already taxing each other (cf. Wiles, Mochizuki, Perelman, etc.) Once humans lose grasp of the proof, how will they propose new conjectures?