I can’t help but confess some sense of satisfaction with the upheaval described in the post. Many proofs and textbooks laden with statements like “without loss of generality”, “immediately”, or “obviously” are followed by anything but. AI now counters that streak of smug by toppling some long held theorems and it’s fun to watch.
The Dark Night of Mathematics
111–120 of 321 posts
Re: The Dark Night of Mathematics
#112Every single knowledge worker is going to face this kind of crisis. It will be worse for people who cared deeply about their craft, but the crisis will have the same shape. The way through is to change the way you relate to your work, and to appreciate the fact that you can now produce far more output. Mathematicians should realize: instead of spending decades on individual theorems, you can now create whole new subf…
The creation is the actually enjoyable part. Taking a helicopter to the top of Everest is not as rewarding as climbing the mountain. You are completely discrediting the joy humans derive from actually -doing- the work, and not just, telling someone else to do the work. There is a reason artists hate AI, its because they enjoy the actual act of painting, like mathematicians enjoy the act of proving theorems and progra…
"AI" never stopped a painter painting.
Just selling.
Re: The Dark Night of Mathematics
#113> “Even if AI can prove theorems and theory-craft more efficiently than humans, and even if these proofs and theories are beautiful and interesting, and even if they are presented with elegance and clarity of thought, mathematicians will still have a place in the appraisal, presentation, understanding and appreciation of this new abundance of pleasing non-human proofs. We can still practice mathematics, learn mathema…
I begrudgingly agree, but with the caveat that tending to a vegetable garden in your backyard is also a spiritual pursuit. Mathematics isn’t some special discipline that elevates you beyond other people, as much as it is useful and interesting. The thing is, if someone had the option to press a button and cause their garden to be weeded and growing perfectly, if most gardeners were using that button instead of growin…
Which makes absolutely 0 sense, regardless of where attempt is made to apply the argument. If one really prefers to do X manually, they always can. Even if everyone else around them has fully automated X away.
Re: The Dark Night of Mathematics
#114Earlier quoted context omitted.
The creation is the actually enjoyable part. Taking a helicopter to the top of Everest is not as rewarding as climbing the mountain. You are completely discrediting the joy humans derive from actually -doing- the work, and not just, telling someone else to do the work. There is a reason artists hate AI, its because they enjoy the actual act of painting, like mathematicians enjoy the act of proving theorems and progra…
you can’t climb to the moon, you need rockets for that. In the hands of great researchers, AI will accelerate and propel human knowledge far beyond what we could achieve with pencil and paper alone.
Re: The Dark Night of Mathematics
#115One way to differentiate between an art or a craft and a science is that if a genie appeared and offered to trivialize all the discovery work of your career and simply give you the answers today, and you'd say "no", you're probably not doing science.
Not even wrong. Real scientists say "yes" to the genie with all the answers? And artists and crafts people don't? The entire statement is nonsense, and offers no insight into art or science. It's almost like a language model generated a plausible sentence that is grammatically correct but has no relation to the real world. Perhaps if the analogy was between science and engineering.. A plumber would say "yes" to the g…
If we can now know anything we want, we have an age of unimaginable abundance before us. I think it's more likely though that we will just be able to know more things than before and/or maybe learning new things faster - which is a good thing too, but there is still work for human scientists to do
Re: The Dark Night of Mathematics
#116Would a mathematician please unpack this for me? A theorem is the opposite of ineffable. A conjecture may be ineffable but its pursuit reifies it. I am missing something.
Re: The Dark Night of Mathematics
#117Every single knowledge worker is going to face this kind of crisis. It will be worse for people who cared deeply about their craft, but the crisis will have the same shape. The way through is to change the way you relate to your work, and to appreciate the fact that you can now produce far more output. Mathematicians should realize: instead of spending decades on individual theorems, you can now create whole new subf…
The creation is the actually enjoyable part. Taking a helicopter to the top of Everest is not as rewarding as climbing the mountain. You are completely discrediting the joy humans derive from actually -doing- the work, and not just, telling someone else to do the work. There is a reason artists hate AI, its because they enjoy the actual act of painting, like mathematicians enjoy the act of proving theorems and progra…
If you’re on the top of mt. Everest and you need medicine, would you care if it reached you via helicopter or via some guy climbing while having a lot of fun?
Re: The Dark Night of Mathematics
#118One way to differentiate between an art or a craft and a science is that if a genie appeared and offered to trivialize all the discovery work of your career and simply give you the answers today, and you'd say "no", you're probably not doing science.
Re: The Dark Night of Mathematics
#119Earlier quoted context omitted.
> But the reduction began when you yourself started putting more importance on your enjoyment of the process over the value being provided to your customers. Why would you make this comment? Is it envy? They were able to do things only some people can do. They enjoyed what they did and it provided value. Now the fun has been taken out of it and you seem to be saying that they deserve to have no fun? What should they…
The AI will not stop them, or anyone else, from doing what they enjoy. It will stop them from getting paid for it. And nobody has the right to get paid for having fun. To get paid you need to deliver customer value.
"Don, I..."
"Listen. I think this racket just ain't for you. But you're a good kid - too good, maybe - and I promised your father I'd find you something. I'll ask Giovanni. Maybe he can find something for you in bookkeeping."
Re: The Dark Night of Mathematics
#120Earlier quoted context omitted.
The creation is the actually enjoyable part. Taking a helicopter to the top of Everest is not as rewarding as climbing the mountain. You are completely discrediting the joy humans derive from actually -doing- the work, and not just, telling someone else to do the work. There is a reason artists hate AI, its because they enjoy the actual act of painting, like mathematicians enjoy the act of proving theorems and progra…
> Taking a helicopter to the top of Everest is not as rewarding as climbing the mountain. If you’re on the top of mt. Everest and you need medicine, would you care if it reached you via helicopter or via some guy climbing while having a lot of fun?