Live data from Hacker News

Mathematicians issue warning as AI rapidly gains ground

science.org

131–140 of 366 posts

Re: Mathematicians issue warning as AI rapidly gains ground

#131

Earlier quoted context omitted.

People need jobs. What's wrong with nerds having jobs via a program?

what's wrong with artists having jobs via a program? whats wrong with struggling alcoholics having jobs via a program? athletes? politicians? there is no inherent virtue in the struggle and effort associated with great mathematical achievement. It may be satisfying and worthwhile for the solver, but not for society at large, any more than any other pleasurable activity. No, as it is, the sole reason for it is in the…

The struggle itself is virtuous.

Re: Mathematicians issue warning as AI rapidly gains ground

#132

> However, the declaration argues math is more than a machine for producing correct answers. There might be more to maths than that, but that is definitely the most important part. I love science funding. But not because it's a jobs program for nerds.

Culturally, mathematics is a jobs program for nerds. The field very explicitly takes pride in working on problems that have no obvious applications, and most practitioners are funded publicly or supported by private endowments, with zero pressure to deliver specific results. Of course, this produces useful results every now and then, but it's not like we pursued ruthless efficiency / maximum rate of knowledge advance…

Hardy would agree with the viewpoint that you espouse but it would be pushed back against by Arnol'd, Poincare, Gauss, Von Neumann, and even Grothendiek: Arnol'd and Poincare were vituperatively against the division between "pure" and "applied" mathematics; they considered mathematics and physics interchangeable, and Arnol'd lamented that the field had lost a large amount of funding/prestige/relevance due to groups like the Bourbaki that took a purely aesthetic view; Gauss had a critical view of problems like Fermat's last theorem (he felt that you could construct infinitely many such problems, and felt that attempting to prove it was a generally useless endeavor), along with outright calling pure mathematics worthless; but while Von Neumann and Grothendiek were more moderate, both were critical of the field losing motivation/quality as it strayed away from empirical science into—quoting Von Neumann—"abstract inbreeding".

Arnold's polemics are perhaps the most infamous and easily found online (see "On Teaching Mathematics"), but the written opinions of Poincare et seq. are also easy to find. Even today the vast majority of research funding for mathematics, at least in the United States, is dolled out for highly applied fields like partial differential equations. The field does not even close to unanimously (contemporarily or historically) "explicitly take pride" in working on problems that have no obvious application, or being a "jobs program for nerds": the notion of such "pure" or "nonapplied" mathematics is at the very least a highly fractious and controversial subject, with a number of big names taking opposing viewpoints (often vehemently).

I think your picture of the field is over-represented on the internet, much like the fixation on certain niche fields: Category Theory, Homotopy Type Theory or, worst of all, outright dubious fields like Geometric Algebra; fields with a large number of online promoters, but with much less funding and relevance in the actual academic space. Of course there are reputable people with PHDs that feel this way,—but I can only imagine that there's a legion of tyros, pop math consumers, and undergraduate students who disproportionately promote this viewpoint.

Re: Mathematicians issue warning as AI rapidly gains ground

#133
post #48

Much of math (or science) research has the strange quality of being mostly curiosity-driven, but having giant benefits that occasionally spin out to the public. Some questions are more urgent and practical. My feeling is that the more directly practical a question is, the more likely the research community is to support AI usage in that question. The annoying thing about recent AI advances is that they target questio…

To me, the most interesting feature of the OpenAI solution of the Unit Distance (Erdös) Problem is that the solution - using deep algebraic number theory as a source of extremal combinatorial/geometric constructions - is much more interesting than the problem’s elementary statement might lead one to expect. Writing off Erdös’s problems as random, useless, or meaningless dismisses his mathematical intuition, second-to…

> much more interesting than the problem’s elementary statement might lead one to expect

This is reinforced by the immediate (human) use of the idea to resolve in the negative another significant problem, the sum-product conjecture on reals.

Explanation of what was involved: https://www.erdosproblems.com/forum/thread/blog:6

Re: Mathematicians issue warning as AI rapidly gains ground

#134

Accelerationists may argue that the eroding of proper attribution and proof verification by humans is a meaningless short term struggle of a dying field. Mathematics seems to be entering an era where human + machine maximizes performance, much like chess in the 1990s. However, imagine a future where even talented mathematicians are nothing but noise in the machine (as is the case in chess now). A future where AI gene…

Surely such AI would also be able to reduce and simplify the math for human understanding. Which is what mathematicians do all the time, from turning base 60 cuneiform into modern number systems to simplifying Maxwell's equations for the students.

Re: Mathematicians issue warning as AI rapidly gains ground

#136

Math for non mathematicians is a tool. Math for mathemeticians is an art in the same way an artisan takes pride in his work. That's why there's a disconnect when you go from math for engineers to the stuff above it. It feels less useful and very different

If spending millions of hours rote memorizing formulas and rules like a robot is "art" then sure

Ok this is your second comment that reads like pure rage bait, is there a way to notify the mods?

Re: Mathematicians issue warning as AI rapidly gains ground

#137

Why is it wrong to expect humans (mathematicians) to adapt here? AI is already producing solutions to problems that humans could not find. Culture holds value until it does not.

Sorry did you read the article or just the headline? The theme is mathematics is a human-endevor and automation undermines that, particularly the ones starting out. It risks killing the culture entirely. Some other key points:

- AI-generated papers could overwhelm peer-review systems with low-quality work.

- It may become difficult to assign proper credit for discoveries.

- Researchers who choose not to use AI tools could be disadvantaged.

- There are ethical concerns about mathematical work being used to train AI for military and surveillance purposes.

Re: Mathematicians issue warning as AI rapidly gains ground

#138

Earlier quoted context omitted.

People need jobs. What's wrong with nerds having jobs via a program?

what's wrong with artists having jobs via a program? whats wrong with struggling alcoholics having jobs via a program? athletes? politicians? there is no inherent virtue in the struggle and effort associated with great mathematical achievement. It may be satisfying and worthwhile for the solver, but not for society at large, any more than any other pleasurable activity. No, as it is, the sole reason for it is in the…

for mathematicians, they do a form of fundamental research that is

1. (generally) incredibly cheap to fund, and

2. (occasionally) has extremely out-sized commercial impacts.

This is to say that jobs programs for math (and more generally fundamental research) have lead to extremely positive ROI for society, which is the typical justification given for funding them.

Re: Mathematicians issue warning as AI rapidly gains ground

#139

Earlier quoted context omitted.

I don't get it. LLMs don't have ego, they don't have the ability to say "no, this should be obvious, I'm not going to explain further", they are just token predictors, and given context, they can generate more tokens. If you don't understand how the answer was derived? You just ask more questions and it isn't going to get bored or annoyed, it will just try to answer the questions. Is that what is offending you so muc…

No, it doesn’t sound like you get it. It has nothing to do with the properties of LLMs and everything to do with the complexity of mathematics. Have you ever been exposed to concepts that are so complex that you feel like you could devote your entire lifetime to trying to understand it and still fall short? It’s a very humbling experience, especially if you have classmates who pick it up effortlessly. Without a human…

> Have you ever been exposed to concepts that are so complex that you feel like you could devote your entire lifetime to trying to understand it and still fall short? It’s a very humbling experience, especially if you have classmates who pick it up effortlessly.

> Without a human holding the reins, consider an LLM a rudderless superboat speeding erratically towards the horizon, finding and proving meaningless theorems that not even your most talented classmate could ever begin to understand.

This feels like a little bit of a jump to me. AIs arent actually alive so of course someone is going to have to pose the question. They arent going to just do stuff on their own. And of course mathmaticians are going to need to interpret the results if we are to glean anything beyong if the conjecture is true or false.

But you seem to be suggesting that mathematicians will have to micromanage every step. That seems like a bit of a jump which i dont see much evidence for.

Re: Mathematicians issue warning as AI rapidly gains ground

#140

Why is it wrong to expect humans (mathematicians) to adapt here? AI is already producing solutions to problems that humans could not find. Culture holds value until it does not.

Sorry did you read the article or just the headline? The theme is mathematics is a human-endevor and automation undermines that, particularly the ones starting out. It risks killing the culture entirely. Some other key points: - AI-generated papers could overwhelm peer-review systems with low-quality work. - It may become difficult to assign proper credit for discoveries. - Researchers who choose not to use AI tools…

>mathematics is a human-endevor

Just like numbers and logic, it isn't and never was reserved only for humans.

They need to adapt.

Post reply on HN