Alberto Alfarano, François Charton, Yongzheng Jia, Kristin Lauter, Cathy Li, Emily Wenger, are launching a challenge at SAIR on how efficiently neural networks can perform modular arithmetic: competition.sair.foundation/competitions... terrytao.wordpress.com/2026/06/08/m...
competition.sair.foundation
A new paper with Bogdan Georgiev, Javier Gomez-Serrano, and Adam Zsolt Wagner: "Mathematical exploration and discovery at scale" arxiv.org/abs/2511.02864. Further discussion is at terrytao.wordpress.com/2025/11/05/m...
The Modular Arithmetic Challenge asks a deceptively simple question — can a neural network learn to compute (a × b) mod p for integers hundreds of digits long...
AlphaEvolve is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary framework that proposes, tests, and refines ...
We’re thrilled to announce that Terence Tao (@teorth.bsky.social)’s SIX MATH ESSENTIALS is available for preorder: us.macmillan.com/books/978037.... A whirlwind tour through six core ideas that have guided mathematicians from antiquity to the frontiers of what we know today. Pubs October 27, 2026.
Tanya Klowden and I have uploaded a further sample chapter to our "cosmic distance ladder" book: terrytao.wordpress.com/books/climbi... . See also the blog post terrytao.wordpress.com/2025/11/21/c...
I started a crowdsourced meta-project to list all the other crowdsourced mathematical research projects that are currently active and seeking participants: mathoverflow.net/questions/50...
I believe that with the advent of modern online collaboration platforms (such as Github), proof assistant languages (such as Lean), and (potentially) AI tools, there are many emerging opportunities...mathoverflow.net
Climbing the cosmic distance ladder Tanya Klowden and Terence Tao in preparation This project is based on a public lecture on the cosmic distance ladder that I have given on occasion. Working with …
terrytao.wordpress.com
Create an account or log in to Instagram - Share what you're into with the people who get you.
The “Mozart of mathematics” invites readers on a brief tour of six core ideas—numbers, algebra, geometry, probability, analysis, and dynamics—that ca...
us.macmillan.com
Terence Tao
Terence Tao
Terence Tao
Calling Bay Area math enthusiasts interested in weekly sessions doing rigorous foundational mathematics the modern way - with computer-verified proofs in Lean.
(An experiment in rigorous math education outside traditional academia)
A first proof-of-concept outcome for the erdosproblems.com - OEIS linkage project: with a useful assist from AI, the OEIS was used to locate a proof in the literature for an Erdos problem that was previously marked as "open". mathstodon.xyz/deck/@tao/11...
Thomas Bloom and I are launching a crowdsourced project to link up Thomas's erdosproblems.com site with the #OEIS, by systematically calculating the various integer sequences associated with the Erdos problems and crosschecking them against the OEIS database: terrytao.wordpress.com/2025/08/31/a...
