Live data from Hacker News

The Dark Night of Mathematics

kirwinhampshire.substack.com

141–150 of 321 posts

Re: The Dark Night of Mathematics

#141
It should be a mandatory part of a technology-related degree to watch "The Man in the White Suit" (1951) https://youtu.be/RC8q1QSkE3M

When a new technology comes along, it diminishes some aspect of the human experience - because whoever had a talent for doing things the older, more difficult way becomes less important.

In that regard, AI is the extreme, because it threatens to make so many of our intellectual talents useless.

Re: The Dark Night of Mathematics

#142
post #4

> "They are forbidden from creating original works to express themselves. However, they are still permitted to comment on writing, interpret it, share their taste. They are still valued for their appraisal, presentation, understanding and appreciation of creative writing. They just can’t write creatively anymore. They can go on as an enthusiastic spectator. > ... It revealed that the process of prompting novel proofs…

> AI is stealing all the fun parts. Disagree. AI has is taking all the parts that remove the fun. Now people can truly have fun with that which they find interest in, because there's a way to avoid the parts they're not interested in engaging with, with little to no consequence.

This is a slippery slope. Having only fun things to do make them obviously boring. The human being craves contrast.

That assuming what you've said is true, which is not. In a work environment, you're forced to optimize whatever that there is, regardless if it's fun or not.

Moreover, there is always fun to be had even in tasks you've found boring beforehand.

Re: The Dark Night of Mathematics

#143
post #4

> "They are forbidden from creating original works to express themselves. However, they are still permitted to comment on writing, interpret it, share their taste. They are still valued for their appraisal, presentation, understanding and appreciation of creative writing. They just can’t write creatively anymore. They can go on as an enthusiastic spectator. > ... It revealed that the process of prompting novel proofs…

> AI is stealing all the fun parts. Disagree. AI has is taking all the parts that remove the fun. Now people can truly have fun with that which they find interest in, because there's a way to avoid the parts they're not interested in engaging with, with little to no consequence.

This. Cannot emphasize this enough. I used to be bogged down with all sorts of decisions. What framework should I use? How can I make this code cleaner? What should this project be about? Is this decision going to bite me in the ass later?

Now I can safely hand this all off to Claude while leisurely browsing e621. The unlock is incredible, and I wouldn't trade this velocity for anything.

Re: The Dark Night of Mathematics

#144
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…

> There is a reason artists hate AI, its because they enjoy the actual act of painting "AI" never stopped a painter painting. Just selling.

Some painters can't paint if they can't sell.

Re: The Dark Night of Mathematics

#145
post #4

> "They are forbidden from creating original works to express themselves. However, they are still permitted to comment on writing, interpret it, share their taste. They are still valued for their appraisal, presentation, understanding and appreciation of creative writing. They just can’t write creatively anymore. They can go on as an enthusiastic spectator. > ... It revealed that the process of prompting novel proofs…

> AI is stealing all the fun parts. Disagree. AI has is taking all the parts that remove the fun. Now people can truly have fun with that which they find interest in, because there's a way to avoid the parts they're not interested in engaging with, with little to no consequence.

Disagree. In many professions, people were paid to endure the boring parts to be able to finally do fun parts. See academia; a professor writes grants, attends committee meetings, teaches (sometimes undesirably) and such, to finally go do research which is fun. If the fun parts are predominantly done by AI, and are removing people from getting paid, what fills one's stomach?

Re: The Dark Night of Mathematics

#146
I feel seen and heard.

I'm conflicted in feeling there's now a lot more to do with AI, but also if it ain't me doing most of it, where's the fun in that? Days feel meaningless, and don't know who will pay for what I want to do, after all these years of heavy training.

Re: The Dark Night of Mathematics

#147

Earlier quoted context omitted.

In academia they are paid to produce papers (and get some chores done like teaching), hopefully ones that can result in bombastic press releases, or winning awards. On a more abstract level they are paid to bring funding and prestige to the university, but that often goes through the route of papers. And papers often involve proving theorems.

Actually, no. They are hired to do research but not paid for it. They get a 9 month salary to teach, not for research. They have to publish papers to get tenure but the university doesn't pay most math faculty for it. If they want to get paid for research they apply for grants and get the max of a third more salary. Most other departments make getting grant money a prerequisite for tenure. Math departments typically…

I consider "get paid to do X" to be equivalent to "you get to have your paid job and career as long as you do X". In that case research and papers qualify. Whatever is technically written in the contracts is just surface level bureaucracy. Publish or perish.

Re: The Dark Night of Mathematics

#148
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…

Jobs are not generally meant to be enjoyable (although that is a benefit if so), they are meant to get work done. It's funny seeing office workers here on HN have this sort of opinion and contrasting that with blue collar workers, ask a miner or house builder how fun their job is.

Re: The Dark Night of Mathematics

#149

Earlier quoted context omitted.

No. The "only value" is the one that people decide to give you, based on their choice. This can be coordinated via taxation and redistribution, but it's still paid from someone to you. Someone has to decide that you doing this thing is something that they like so much that they pay you a token, which you can use to redeem useful work from other citizens, such as repairing you car, or remodeling your bathroom. Many ma…

Not everything in life is a transactional zero-sum game. We as society can afford people to work on beauty, without anything else in return. I'd even argue that this should be one of mankind's ultimate goals.

I agree. It's aesthetically pleasing to know that there are people out there thinking about deep beautiful and elegant concepts somewhere, it's a nice part of having a society to be able to afford supporting such people. They may however start to feel a bit self conscious, like we keep them as a kind of quaint curiosity. People usually like to feel actually useful and impactful.

Re: The Dark Night of Mathematics

#150

Grateful for this essay. Made me feel seen. Someone said: > No one is stopping you from doing what you enjoy. But that's wrong. LLMs are creating an environment in which some things are no longer enjoyable. For example there is less joy to be had in learning a programming language in 2026 than there was in 2016, because there is less utility in it now.

Joy should not come from utility but its fundamentality of enjoyment. I still learn different programming languages because it's fun to do so, so sounds like it's a you problem.
Post reply on HN