Posted by rmdmphilosopher 9 hours ago
I stopped reading there.
Seriously how are we supposed to evaluate whether these were counterexamples to conjectures that real mathematicians had ever put any amount of effort into or not, if the author won't even link to them?
There are plenty of junk conjectures out there that even the conjucturee never spent time on.
Anyway, your "spiritual journey" doesn't matter. We'll automate mathematics because we can, because it's useful. Don't like it? Well, should have not chosen a capitalist economic system that rewards scientific progress so much.
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 have done? Prove theorems while whipping themselves in case they might have fun? Maybe it's a puritan thing? Customer value is the only value.
Many many people enjoy various things in life, such as eating nice meals (quite spiritual to do it in good mood in friends' circle), go camping, or play music. But they don't get paid to do this.
It's very simple to understand. It doesn't depend on deserve. It depends on a concrete person or group of persons having to specifically decide that you get things in return to your time (such as your washing machine repaired, or getting petrol at the gas station) for your efforts at something that they appreciate. It's not God who gives you these things. It's not the universe and it's not Mother Nature. It's concrete people. You have to think about how what you do is actually appreciated by concrete people. You have to do something that people appreciate, whether you agree with their assessment of appreciation or not, it will be that way. You can't simply expect people to give you gas at the gas station simply because you yourself appreciate your own way of spending your time.
"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."
I'm sure there's a programming equivalent. I believe theyre saying don't lose sight of the trees.
I assure you they're not in it for the money, I make more than they do and hardcore math research is definitely harder than whatever the fuck it is that I do.
I don't think that trying to be a little bit more understanding towards people who are obviously struggling would cost us that much.
That's neoliberalism for you.
Elliptic curve cryptography spent years requiring commercial licenses because it was made practical by Certicom, who patented many of the core inventions.
A lot of the work on homomorphic encryption was done by mathematicians at IBM.
The DES standard was developed by IBM.
RC4, RC5 and RC6, some of the earliest stream ciphers, was a commercial secret because it was developed by Ron Rivest at RSA Security.
NTRU post-quantum crypto was developed as a commercial product from the start.
Many of the earliest cryptosystems were developed commercially, like Enigma and Crypto AG.
A lot of the crypto for mobile phone networks is/was commercial.
Academia did contribute to the early stages of public key cryptography both integer factorization based and elliptic curve based, but given the extensive history of commercial mathematics this stuff would almost certainly have been invented even if there was no academic mathematics at all.
Eh, debatable? Maybe a bit of both? Industry certainly brings research-level stuff to the masses. And has a way to winnow what's ultimately useful from the vast amounts of research that amounts to "huh, that's weird". And in turn that vast amount of stuff serves as the starting point, and round and round it goes. Research without industry would be pointless (from the masses perspective). And industry without research would be clueless or stagnant or outright dangerous.
Industry can also bring vast amounts of money into research. Just look at the field of Machine Learning.
Same here: the value for the society may be more about "making art" than "being a cog in the paperclip factory".
You do realize that much of a number of vital open source projects are primarily developed by people who are paid to develop it?
> I don't think mathematics should be done as a profession.
Personally, I don't think writing, blogging, acting or singing should be a profession either. But here we are.
What it has done in software engineering is kill all human open source spirit. There is hardly any new software out there, people do not talk about interesting things but just how AI "generates value" or similar nonsense. AI has stolen at least three potentially productive years.
The Leiden declaration is fine, but if people who make OpenAI ads like Tao sign it what do we make of it? Professors who are truly concerned should ban AI in universities, talk about IP theft to politicians and so on.
Found a new organization "Mathematicians against AI".
Seems the opposite to me. All my stalled open source projects got unstalled and I've shipped several others. Other friends report the same.