Is there a connection to Leiden, NL?
These type of questions are the reason why LLMs will take your job :-)
Leiden Declaration on Artificial Intelligence and Mathematics
21–30 of 92 posts
Re: Leiden Declaration on Artificial Intelligence and Mathematics
#221. first they ignore you 2. then they laugh at you 3. then they fight you 4. then you win
> add too numbers
Did you do this on purpose to anger both Mathematicians and keen spellers?
Re: Leiden Declaration on Artificial Intelligence and Mathematics
#23Re: Leiden Declaration on Artificial Intelligence and Mathematics
#24Earlier quoted context omitted.
That's the product of math from the point of view of mathematicians. But is it the point of view of those funding math? I suggest if one looks at the history of funding for mathematics and science, the product of these efforts is not understanding, but rather power. Funding went way up after WW2 when the war demonstrated that power flows from them. Math not only contributed to the scientific weapons of the way, but w…
There is more to math, than input (money) and output (power). Sure, there is some relation between applied sciences and how knowlegde can assist effecting world events. But for the most part, math discovery relied more on human curiosity than on resources to "do math". Conversely, if people allocate lots of money to developing AI, that doesn't mean mathematicians have an obligation to take the money provide ROI to in…
I mean, in real life it's a combination of both. Some money is for math as an exploration of our world that will never pay off. Some money is learning things that may pay off long after we're dead (planting trees so our great grandchildren have shade). Some money is for solving problems right now.
Getting funding can be quite difficult at times, so you'll see some portion of researchers (or mathematicians in this case) take the dollars they can get.
Re: Leiden Declaration on Artificial Intelligence and Mathematics
#25It's worth remembering Thurston's essay on mathoverflow ( https://mathoverflow.net/questions/43690/whats-a-mathematici... ): "The product of mathematics is clarity and understanding. Not theorems, by themselves. Is there, for example any real reason that even such famous results as Fermat's Last Theorem, or the Poincaré conjecture, really matter? Their real importance is not in their specific statements, but their ro…
[flagged]
Re: Leiden Declaration on Artificial Intelligence and Mathematics
#261. first they ignore you 2. then they laugh at you 3. then they fight you 4. then you win
Who exactly is the implied underdog "you" that we so desperately want to win here-- do you mean those poor struggling $xx billion companies or current US government apparently beholden to them?
Re: Leiden Declaration on Artificial Intelligence and Mathematics
#27[dead]
Re: Leiden Declaration on Artificial Intelligence and Mathematics
#28Most of the arguments here feel like gate keeping and resistance to change. I didn't see any arguments that were directly about advancing the state of knowledge of math.
“Current automated techniques can produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs.”
That seems like a problem for mathematics with or without AI.
Isn’t this a problem with human proofs as well?
“Many current models are also built on data obtained by systematically exploiting licenses and access arrangements that were not made with artificial intelligence in mind, or indeed by simply violating copyright protections”
Copyright? The copyright arguments have been hard to make in domains where copyright is much stronger, mathematical knowledge isn’t even subject to copyright.
“Technologies which affect the way in which mathematics is practiced may disturb the current system of incentives”
Resistance to change again.
“Proper evaluation is endangered if results are communicated through informal channels”
Gatekeeping again.
Re: Leiden Declaration on Artificial Intelligence and Mathematics
#29Re: Leiden Declaration on Artificial Intelligence and Mathematics
#30[deleted]