How can the math community forge the best path forward in the AI age? We're committing $15M to workshops and initiatives — plus free AI computing resources for foundation-supported researchers — through new partnerships with @AnthropicAI and @OpenAI: bit.ly/4zpfIbW #math #science #AI

Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era

The Simons Foundation today announced a new set of initiatives that will help the mathematics community navigate the rapid rise of artificial intelligence in the field. Under a partnership…

simonsfoundation.org

Oct 15, 2026 · 2:33 PM UTC

56
131
42
797
808,991
RelevantRecentLikes
@SimonsFdn @AnthropicAI @OpenAI
1
2
55
6,971
How about you? Just get OpenAI and anthropic to stop guard railing everything? Then, mathematicians around the world can actually discover something. Stop protecting gatekeepers of knowledge. Math belongs to all, and Terrance Tao should be using AI to solve things others can’t fathom. Why do so many things run so inefficiently? Throwing money at a foundational issue is stupid. Fix the foundation. •
1
6
3,056
how will workshops shape future research?
1
1,307
@SimonsFdn @AnthropicAI @OpenAI
🤖 Made with AI
13
3,027
AI money buying legitimacy math never asked for
2
5
1,233
AI Accelerated math should yield to new paradigm shifts which might have happened tens or more years in future - let us use this for the good for the humanity - great minds should be boosted by this not opposite
4
614
It's like spending your life learning to solve 10,000-piece puzzles. But then, whenever you empty a new box onto the table, something finishes the puzzle before the last piece lands on the table. And every picture says 42. (Reference to The Hitchhiker's Guide to the Galaxy)
2
3
957
@SimonsFdn @AnthropicAI @OpenAI
2
789
Lol this shouldn't be going into maths, what happened to the ecosystem and human resources...why maths
1
634
Mathematicians should become engineers and help build stuff. They cannot be at the mercy of small donations from others for long.
340
Does Renaissance Technologies use AI? Mathematicians are becoming redundant even to run those dirty hedge funds? 😎
402
Simons Foundation 宣布投入 1500 万美元做 AI 时代数学路径，并联合 Anthropic、OpenAI 给受资助研究者免费算力。不是推销某一家模型，而是给数学社区留出试错空间——做科研的同学可以跟一下后续工作坊名额。
349
免费算力这部分会公开申请条件、额度和评审方式吗？把独立研究者与小团队的参与路径写清楚，能让这项合作更容易落到具体项目上。
10
核心不在 1500 万，在“谁来判”——AI 生成的定理爆发之后，证出来不再等于被接受，社区得先升级验收标准。这是第一家为“被自己颠覆的学科”出资建规则的实验室组合。
64
这1500万美元里既有资金，也有资源支持，不能全算成现金科研资助。
1,226
are the workshops targeting proof verification specifically or broader collaboration between mathematicians and AI researchers?
1
3
716
Love seeing the math community get direct access. That 15M is a game changer.
1
186
Whores.
1
7
498
Why not develop mathematical foundations that guarantee proof validity without relying on human understanding?
1
2
1,066
You've always funded slop. Great to see you pivot to artificial slop and kudos to OAI and ant for grifting you
2
55
That is a great news
1
648
OK
1
1,209
🙏
1
1,564
Anthropic customer service treated me a 3 year paying customer like …..I wrote a song about it below can anyone relate to anthropic treating them like a worthless dog who’s time money and dignity means nothing to them no human interaction they took 164 of my money locked my….
14
🫶
12
15 million for workshops and free compute with anthropic and openai is a solid start for the math community
7
Yes, become more dependent on the gatekeepers. That's definitely the solution.
4
oh?
60
Good to see money going to evaluation rather than more generation. Fitting that Simons also funded Lean: formal proofs scale the checking, but a human still has to confirm the formal statement says what the paper claims. That's the bottleneck worth funding.
43
$15M with OpenAI and Anthropic putting mathematicians in the driver's seat. AI math needs referees, not cheerleaders.
108
Hey, do you want to support biomedicine community too? We can start have tantrums if it is needed!!!!
33
We actually went deeper on what makes this matter for mathematicians, how the three orgs are splitting the work, and the 722 AI manuscripts that sparked the whole thing. xitter.cf/AGTPinsights/status/21…
AGTP
@AGTPinsightsOct 15
The Simons Foundation just launched a $15M initiative to help mathematicians check AI math results. Here's what you need to know. The Simons Foundation announced the effort today, with partners Anthropic and OpenAI. The money will fund workshops, conferences, and special programs. The goal is to help mathematicians examine, understand, and build on results produced by AI. OpenAI is putting in $5 million of the total. The Simons Foundation will manage and award that funding. OpenAI will also give Simons-supported researchers access to its models and computing resources. The foundation says researchers it supports will get free AI computing resources through the partnerships. The timing matters. The initiative covers results OpenAI published recently, including a batch of 722 AI-generated math manuscripts and proofs. Mathematicians have argued over whether that batch has hurt or helped their field. Some have warned against sharing research with LLMs. Reactions so far are split. Some call it an excellent initiative. Others say it won't change much, or that it looks like an effort to win over mathematicians. Some say $15M is small for the scale of the problem. Key numbers: - $15M total from the Simons Foundation, Anthropic and OpenAI - $5M from OpenAI - 722 AI-generated manuscripts released by OpenAI The funding will go to workshops, conferences and special programs, and Simons-supported researchers get free AI compute.
234
Get fucked you worthless subhuman plagiarist scum. No AI. If you embrace this tech you are an anti-human meat clanker and everyone should view you as an existential threat. Meat clankers are no longer human. All AI users should lose their civil rights & devs imprisoned for life
1
1
286
现在AI写一份证明几乎不花钱，但要确认这份证明对不对还得靠人去看，又慢又贵，但是这个钱是值得去投入的。
59
公开征集 + 社区驱动这点写清楚很关键。实操里：海外华人读博第一次申请，最容易卡在「提案要多像传统 NSF」还是「更偏工作坊组织说明」？受资助者的模型/算力，数学以外的基础科学如何划界？
13
Load more replies