A #cosmicdistanceLadder post on the many ways we project our planet onto a plane. No projection can faithfully reproduce *all* the geometric features of a sphere, so each projection is a compromise; but some projections are still preferred for specific applications. www.instagram.com/p/DVC9SvxkXDs
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...
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...
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...
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...
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...
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)
