Live data from Hacker News

The Dark Night of Mathematics

kirwinhampshire.substack.com

111–120 of 321 posts

Re: The Dark Night of Mathematics

#111

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.

Bit weird that your first reaction to a human expressing genuine emotional pain is glee.

Re: The Dark Night of Mathematics

#112
post #99

Every 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…

> There is a reason artists hate AI, its because they enjoy the actual act of painting

"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…

> feel like the rug had been pulled out from under them.

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

#114
post #108
post #99

Earlier 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.

I think you replied to the wrong comment.

Re: The Dark Night of Mathematics

#115
post #22

One 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…

One should differentiate between "working in academia" and "doing science" here. Science is fundamentally about the curiosity, the desire to know, not the process of getting there.

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

#116
> The creation (or even the pursuit) of novel mathematics is one way that humans have historically accessed the ineffable and encountered the divine and mystical.

Would 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

#117
post #99

Every 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…

> 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?

Re: The Dark Night of Mathematics

#118
post #22

One 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.

Sort of a callous thing to say about a person having a crisis of faith so bad they're talking about killing themselves.

Re: The Dark Night of Mathematics

#119

Earlier 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.

"Or threaten to hurt them, or their family, or their friends. Then just take the money. What about that option? Didn't think of that, did ya son."

"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

#120
post #117
post #99

Earlier 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?

This has nothing to do with the content of my comment.
Post reply on HN