Top
Best
New

Posted by aaraujo002 7 hours ago

Simons Foundation launches $15M effort to help mathematicians navigate AI era(www.simonsfoundation.org)
203 points | 173 commentspage 2
tarkin2 4 hours ago|
Is mathematics deprived of the associated knowledge that comes from a human first deriving a proof, how exploring the problem domain including the dead-ends has changed the mathematician's thinking, when a proof is given by AI? It seems that the solving rather than just the solution gave much to mathematics.
xpct 4 hours ago|
> It seems that the solving rather than just the solution gave much to mathematics

The whole discourse of past few weeks has been mathematicians claiming the opposite.

chazeon 5 hours ago||
15M really is not a big commitment tbh... university take half, then there is not much left; it can maybe fund <10 groups.
0c3ca83 4 hours ago||
Can you explain to me what "navigation" means if AI actually succeeds at automating mathematics? Or is the bet here that the AI companies will fail to deliver?
augment_me 6 hours ago||
So $15M of OpenAI/Anthropic tokens, won't this just encourage more model use that started the "issue" in the first place?
aurareturn 6 hours ago||
What’s the solution? Not use OpenAI and Anthropic and watch less idealistic peers post breakthroughs?
augment_me 6 hours ago||
In some way, yes. The whole situation seems completely grounded in that mathematicians are greedy for status and clout trying to write their name on new discoveries in blood and publish as many papers as possible. And now they are sad because they lost their way to this status.

When you remove this greed and status seeking you might actually end up with a healthy environment.

faishalmanzar 6 hours ago|||
I don’t think it’s a matter of greed. I’d say it’s about incentives. In every field, people want to progress. I don’t think mathematicians are any different, even though we try to admire and idealize higher principles and the pursuit of knowledge. If you don’t publish papers under your name, you won’t progress in your career or receive enough support to work at the frontier. It’s just a general observation.
augment_me 5 hours ago||
I don't think so either, so let's stop the charades and Terrence Tao guest blogs about the field being about some kind of understanding and it actually being about just climbing the career ladder and accumulating status by churning out papers to ensure ones resource accumulation.
tuveson 6 hours ago||||
> When you remove this greed and status seeking

I don’t necessarily disagree but it seems like the AI companies are just as status seeking and infinitely greedier.

globnomulous 6 hours ago||||
> greedy for status

It may be true in some cases but as a blanket condemnation of the entire field it makes no sense. Moreover, I can't fathom how you could reach this conclusion if you've actually done any reading on "the whole situation." The reality is precisely the opposite of what you're claiming.

Mathematicians are upset partly because AI companies are "scooping" their work. If you had worked on something for years and this happened, you'd be upset, too. The manner in which this happened with Navier-Stokes was unconscionable. The mathematicians who did the work deserve recognition. OpenAI deliberately stole it from them.

More importantly, the purpose of mathematics isn't to produce proofs. It's to produce mathematics and mathematicians. Working through problems helps people find new mathematics -- and makes people mathematicians. A machine that generates proofs destroys that. It breaks the cycle that makes mathematics fruitful, interesting, and not just self-regenerative but self-propagating.

AI companies aren't just clear-cutting the fields of math; they're sowing them with salt -- and they're doing this precisely because of greed and hunger for status and the title of "first."

schleck8 6 hours ago||||
> greedy for status

Perhaps to some maths is about progress, like other sciences, rather than self-portrayal

augment_me 6 hours ago||
Is this was the case no-one would have any issues with the progress the AI models are making.
alecst 6 hours ago||||
Unhinged and honestly nauseating take. Were you hurt by a mathematician at some point? I don't even know where to begin with how negative and backwards this is. I guess I could start by saying that if you replace "mathematicians" in your comment with literally any other profession you could make the same criticism about greed and clout. With the "writing their names in blood" comment, I have no words. I will weep for the world if it turns out that this is how people see math.
augment_me 5 hours ago||
Many other professions are somewhat honest about their motivations.

Quants are open about that they just want to make a shitton of money.

The guys I know who work at OpenAI just want an expensive car and a hot wife to fuck.

Mathematicians(and many academics) however have long been hiding behind the guise of furthering human knowledge, understanding things, etc. Then a model does theorem proofs and suddenly there is chaos and the real incentives and motivations are put on display for the world to see.

bdhe 5 hours ago||
This is a deeply cynical (not to mention, a touch misogynistic) take on human motivation. This might be true for your small circle of friends but I think it reflects your thinking a lot more than some deep objective truth about people and their careers.

See professor Williams' thoughts on a recent conjecture that openai proved: https://people.csail.mit.edu/virgi/thoughts.txt

augment_me 5 hours ago||
If that is the case and I am wrong, how come there is a crisis in every math department? Why is Terrence Tao publishing copium guest blogs daily about the meaning of mathematics?

And Williams thoughts are kind of idealistic. "Now the credit is shared across the entire field". This "credit" does not give your department grants or further your own career.

Rather it incentivizes you to be the first one to prompt, and to steal ideas from your peers because you can prompt better and have your name on more discoveries.

bdhe 4 hours ago||
I never claimed there isn't a crisis. I think the motivation of mathematicians is a mixture of prestige and genuine curiosity and understanding about these abstract problems. I think recent advances are creating a reckoning on how the community-at-large addresses these incentives. It is highly reductive to argue that the only motivation is as crass as you put it.
mathisfun123 6 hours ago|||
> The whole situation seems completely grounded in that mathematicians are greedy for status and clout trying to write their name on new discoveries in blood and publish as many papers as possible

You're gonna get downvoted but this is absolutely true. People who've never been in real professional academia don't understand but this is exactly what most very successful academics are like.

> When you remove this greed and status seeking you might actually end up with a healthy environment.

Nah I think you're just gonna have collapse because you've removed all incentive.

redanddead 6 hours ago||
overheard from academics the other day about students stealing each others credit

Seems that space is really about that

charliermarsh 6 hours ago||
OpenAI's contribution is funding, separate from compute (not tokens).
alp1-qw3 6 hours ago||
This is the "democratization" in practice. Top pro-AI mathematicians will get the spoils.
objektif 4 hours ago||
Lol. I would say these guys made bad life/career choices. They can take care of themselves.
allears 6 hours ago||
Aside from the fact that $15M is couch change for these companies, and aside from the fact that this project is hypocritical and self-serving (as explained by many other posts), the whole idea of naming a supposedly large sum of money in a headline in order to impress is just silly. Whether a project is successful or worthwhile has little to do with how much funding may be lined up, and throwing numbers around is often just a smokescreen for poor planning and execution.
shimman 6 hours ago||
Wonder if they realize these types of things help grow massive resentment against such companies? I'm astounded by how terrible the politics of SV actually is.
fithisux 6 hours ago|
They try to transform mathematics to a charity. How generous!!!
otterdude 5 hours ago||
Richard Simmons, what a guy
luckydata 6 hours ago||
how is that different than what's been happening forever? Mathematics has ALWAYS been a "charity". The only thing that changes over time is who gives the money, first it's the church, then it's princes, then government, it's been corporations for a while, this is nothing new.
qwe1897 5 hours ago||
Except that even the Cosa Nostra is less anti-human than the current tech bros and their foundation fronts.

You really cannot see any difference between the government and corporations supporting something? This "things have always been that way" talking point is getting out of hand.

More comments...