8 stories tagged ai-for-math, newest first.
230 points by aaraujo002 | 184 comments
Simons Foundation news release announcing a $15 million initiative to help mathematicians use AI tools and adapt to changes in the field.
![Screenshot of teorth.github.io: Terence Tao: Math 2.0 [pdf]](https://hn.urlbox.com/shots/renders/2026/10/11/5fa8cc24-3e1c-4321-8c9a-8aee16c4af72.jpg)
533 points by Anon84 | 530 comments
PDF slide deck titled "Math 2.0" by mathematician Terence Tao, dated October 2026, apparently from a Caltech talk.
1314 points by OfficialTurkey | 1488 comments
OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.
86 points by pfdietz | 37 comments
Blog post by Thomas Bloom on erdosproblems.com describing how AI's rapid progress in solving Erdős problems is changing the site and its purpose.
35 points by nvtop | 38 comments
An essay by Christian Szegedy published as a Google Doc, reflecting on the future of mathematics, opening with his background in Hungarian math education.
150 points by digital55 | 76 comments
Guest post on Terence Tao's blog announcing the Advisory Group on Mathematics and Artificial Intelligence, with members including Tao, Gowers, Hairer, Witten and others.
456 points by artninja1988 | 225 comments
A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.
1339 points by tedsanders | 968 comments
OpenAI announcement that one of its models disproved a central conjecture in discrete geometry, with links to the proof and companion remarks.