@Noahpinion I seriously doubt that.
But If that was your point, then shouldn't your post have said Feynman has made _no_ useful contributions? (as surely AI would have found that too)
@morallawwithin They are related by a sort of duality?
You're vegan if you think sentient beings get moral consideration.
You're pro-abortion if you think non-sentient beings don't get moral consideration.
The "if and only if" is sentientism, the obviously correct view 🤓
@littmath@SidGadgil Yea.
I have strong feelings in the setting of elections for supporting candidates I don't fully agree with, but with petitions it's less clear. I suppose it depends how much the petition feels like a referendum, and how binary I feel like the options are
@littmath@SidGadgil A colleague urged people to sign it even if they disagree with some parts, arguing that it's a political document.
The most important part might be presenting a unified front against the "AI has solved math" crowd (and other hype/slop).
I'd be interested in your take!
@littmath@SidGadgil Can you be more precise?
Reading the declaration, I did not find an explicit part where they take a position "against non-human math". Do you mean when they say only humans should be allowed to be credited for results?
@TimHenke9@alt_ccc In (0,1) that sequence is limitless.
Pedantry aside, I don't like this argument against capitalism because it can be countered in equally simplistic terms: the heat death of the universe will happen in finite time so we don't need infinite growth.
@TimHenke9@alt_ccc Of course I meant the intellectual part of software and art. Composing only requires a mind. You can create growth in software without growth in chips (that's hardware)
Also you can have bounded but infinite growth.
@CoreyLeander@littmath@MTabarrok It's more like learning to play an instrument by trial and error vs learning it from a book.
You still need to do work by yourself to get anything out of it, and that work is in itself valuable.
the feeling is similar to when I was a postdoc looking for tenure-track jobs, I always had in the back of my mind that if people stopped paying me to do this I'd have to find something else
My job already consists mostly of reading and trying to understand math written by people smarter than me. If it becomes AI written math, it doesn't seem to change much.
The question that remains is whether people will continue to pay me to do that.
@Noahpinion I mean there's the classic math "joke" about interesting numbers.
Suppose n is the smallest uninteresting natural number. That's a very interesting property! So there's a contradiction.