OpenAI
@OpenAIOct 15
We want to support the mathematics community in turning progress in AI into deeper human understanding and new discoveries. To support that goal, we are contributing $5 million to a new Simons Foundation initiative to help mathematicians examine, understand, and build on results produced by AI, including the results we recently published. The funding, managed and awarded by the @SimonsFdn will support workshops, conferences, and special programs. We will also provide access to our models and computing resources to Simons Foundation-supported researchers.
Simons Foundation
@SimonsFdnOct 15
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:35 PM UTC

514
483
230
6,202
957,574
RelevantRecentLikes
@OpenAI
5
9
380
19,696
Why do these Mathematicians get special treatment? Let them deal with it themselves just like the art folks did
19
3
1
377
22,521
@OpenAI
1
3
132
10,631
Imagine an alien landing on Earth, offering profound math proofs beyond our comprehension. This is AI today. → The future mathematician’s role is to converse with the alien and translate its wisdom for humanity. A different life, but a thrilling one. New vistas of thought and beauty await.
1
3
26
3,314
insane! 🤯xitter.cf/biscuitweb/status/2110…
Biscuit
@biscuitwebOct 15
ai solving math gets the headline openai is putting $5m behind the less visible work: verifying, understanding and extending what models produce until other researchers can build on a result, it’s a demo, not a discovery
2
710
>build on results produced by AI Ya'll really think they'll have the time to build anything meaningful out of the results before GPT7 comes and mogs all of them again?
3
189
Path to RSI: SI makes new discovery, mathematicians go deeper, and then we discover more.
1
218
$5M so humans can check the homework, love that for us
1
80
the compute access piece matters more than the cash. a workshop budget is small next to the gpu hours it takes to actually re run these proofs
2
427
Five million is a solid start, but I am mostly curious to see what kind of unsolvable proofs they tackle first 🧮
1
33
theorem provers catching LLM hallucinations in real time would give verification that most domains can't get
1
46
A great idea actually. Mathematicians working to understand, apply, and build on what AI discovers and proves is going to be the primary thing going forward.
1
89
i'd make machine-checkable proofs a funding requirement; model outputs otherwise shift verification back to mathematicians
27
wow, great initiative from openai and honestly much needed to speed up human understanding of all those ai-generated Lean proofs
1
92
how do mathematicians validate AI-generated conjectures or proofs - is there a verification framework or does it stay informal peer review?
23
It's important to develop new tools and methods for people to understand AI output. Also important to measure their effectiveness. We proposed a method to check for comprehension:
Ron Bodkin
@ronbodkinOct 8

Pacing AI Automation Based on Understanding

When AI researchers no longer know what they're shipping, it’s going too fast. That’s not hypothetical. From inside the frontier developers:

Article · @ronbodkin
92
$5 million to help mathematicians actually understand AI results is a meaningful step for the field.
1
294
so you are giving away money to them because they started whinning like babies
3
3
138
7,121
start by supporting people who are relying on the model you trained in the first place 4o #4oForAll
4
3
44
1,518
five million so mathematicians can grade the model's homework
51
5,212
UBI for researchers has arrived *unironically*
1
40
6,968
How about supporting thousands of people in #keep4o community you’ve been treating like dirt and garbage??? You absolute hypocrites. How is what you’re doing beneficial to humanity when you are literally destroying everything? #OpenSource4o
28
2,472
we took all your intellectual output to replace you, here's 5 million 😂
24
5,049
Why do they need $5M from OpenAI? Don’t they have employment insurance?
4
1
20
3,761
The issue is that AI should be guided by humans and building on work of humans philpapers.org/rec/NIETOA-2

Jennifer Nielsen, The Open AI Navier Stokes Blowup Result is Merely a Euler Blowup in Disguise...

philpapers.org
3
3
10
1,170
Bad precedent to set here. So you are saying the programmers that have been heavily impacted mean less to you guys than the mathematicians?
2
14
1,608
Will the Simons funding cover mathematicians’ time spent checking incorrect AI results?
1
10
1,996
@OpenAI
🤖 Made with AI
11
1,677
This shows that the mathematicians weren’t fighting for mathematics or human knowledge. They just felt like they were losing their jobs (and, consequently, their salaries) because they had become unnecessary—an AI (or SI) can do mathematics better than they can. Problems that humans couldn’t solve for decades or centuries were solved by an AI in just a few weeks—hahaha🤣 Here’s a cash donation from OpenAI—now be quiet.
1
9
1,814
There are already too many workshops, conferences etc. It would be better to instead increase support scientists with AI licences.
1
9
856
@OpenAI
1
7
1,261
Will those models include 4o? *puts on mathematician glasses*
5
1,667
Is this a honeytrap, where you will let your agents loose on their work and then announce ahead of them that AI has cracked this or that conundrum?
6
929
@OpenAI
1
2
898
Funding the people who can verify AI math is the real unlock. Unchecked proofs just create a pile of claims nobody can trust in production.
4
149
Guys, if I pay $5,000,001 , will my generated text be more accurate math than these guy's math? Asking for a friendly LLM company I know.
4
522
Load more replies