Thrilled to be sponsoring the The 5th Workshop on Mathematical Reasoning and AI NeurIPS 2025!
lnkd.in/dqXjrrcU
lnkd.in/dzs3K3wZ
20.11.2025 00:18
👍 3
🔁 0
💬 0
📌 0
Thrilled to be sponsoring the The 5th Workshop on Mathematical Reasoning and AI NeurIPS 2025!
lnkd.in/dqXjrrcU
lnkd.in/dzs3K3wZ
It was a great honor and an inspiring conference. Thank you to the organizers and thank you to Margot and Tom Pritzker!
Applying to do a postdoc or PhD in theoretical ML or neuroscience this year? Consider joining my group (starting next Fall) at UT Austin!
POD Postdoc: oden.utexas.edu/programs-and... CSEM PhD: oden.utexas.edu/academics/pr...
ItaLean : formal maths and AI in Italy (Bologna), Dec 2025. Lectures, hands-on tutorials, research talks from academia and industry etc. Register here pitmonticone.github.io/ItaLean2025/
Exciting opportunity for people at the intersection of math, AI, and formal methods!
University of Michigan Math search: advanced assistant, or tenured associate or full professor for our initiative on Foundations of Artificial Intelligence
mathjobs.org/jobs/list/26...
AI and math. Geometry and symbolic reasoning. Amazing recent developments and stellar line up of speakers. It is going to be an exciting week!
The Geometry of Machine Learning @ Harvard Center for Mathematical Sciences and Applications (CMSA)
cmsa.fas.harvard.edu/event/mlgeom...
Infinity alignment theory
Great to have this video about my @darpa.mil Artificial Intelligence Quantified (AIQ) program out! Very exciting program with absolutely fantastic teams. Stay tuned for some jaw dropping announcements!
www.youtube.com/watch?v=KVRF...
📣 Please share: We invite submissions to the 29th International Conference on Artificial Intelligence and Statistics (#AISTATS 2026) and welcome paper submissions at the intersection of AI, machine learning, statistics, and related areas. [1/3]
We're excited to share the Lean FRO Year 3 Roadmap today! It builds on work completed in the first two years of Lean FRO operations and will guide all #LeanLang development through July 2026.
➡️ Read the roadmap at lean-lang.org/fro/
#LeanProver #FormalMathematics #FormalVerification
Very exciting opportunity!
I am advertising for 4 post-docs to come to Imperial and formalize, in Lean, *statements* of theorems from recent issues of the top generalist pure mathematics journals.
www.imperial.ac.uk/jobs/search-...
Positions are for 2 years, start date 1st Oct this year. Deadline 15th August.
A new "Mathlib initiative" focussed around Lean's mathematics library has been announced. Thanks to the generosity of Alex Gerko and XTX Markets, there is finally an official entity focussed on growing this 21st century way of doing mathematics.
www.renaissancephilanthropy.org/news-and-ins...
My thoughts on the crucial importance of methodology on self-reported AI performance on mathematics competitions, and my policy on commenting on such reports going forward: mathstodon.xyz/@tao/1148814...
New opportunity at the Institute for Advanced Study! The School of Social Science is hiring an Academic Assistant to support faculty & an international community of scholars. Pls share with folks in your network who might be interested in joining our team. recruiting.paylocity.com/recruiting/j...
Hello world! This is the RL & Agents Reading Group
We organise regular meetings to discuss recent papers in Reinforcement Learning (RL), Multi-Agent RL and related areas (open-ended learning, LLM agents, robotics, etc).
Meetings take place online and are open to everyone 😊
The #SalemPrize for 2025 is now accepting nominations until September 15th. www.ias.edu/math/activit... (I am the chair of the Scientific Committee for the prize.) A bit more information in my blog post on this: terrytao.wordpress.com/2025/07/08/s...
very interesting discussion. the contrast IK makes between mathematics and inductive neural networks is compelling. perhaps of interest @patrickshafto.bsky.social? thanks for digging it up and for your analysis, @natolambert.bsky.social .
And ideas that can be made real often have a very close connection to physics and math. Capable inductive machines like NNs are so new. Lots of interesting commonalities to be mined going forward. And, I think, lots of differences to be formalized.
The magic is seeing ideas that are feasible. That is the magic of deep learning. A simple insight that can be made real (with lots of hard work).
Yes, I think it is interesting. The things that can be mathematics currently is narrow: physics, theoretical computer science, mathematics. But the sciences are vast, and in need of theory. In particular, the theory of intelligent agents is close to the surface in many cases...
In this 10-minute UCLA Connect talk, Terence Tao provides an accessible and compelling argument for "citizen math" and broad collaboration in research #mathematics via #formalverification using proof assistants like #LeanLang.
🎥 www.youtube.com/watch?v=K376...
Poster reading Rare/Earth The geopolitics of critical minerals and the AI supply chain, with pictures of Thea Riofrancos, Providence College Tamara Kneese, Data and Society Howard French, Columbia University (Only attending Public Panel) Kate Crawford, University of Southern California and Microsoft Research Alondra Nelson, Institute for advanced study
ICYMI
RARE/EARTH: The Geopolitics of Critical Minerals + the AI Supply Chain w/ @triofrancos.bsky.social @katecrawford.bsky.social @tamigraph.bsky.social @hofrench.bsky.social www.youtube.com/watch?v=GxVM...
Opening remarks albert.ias.edu/server/api/c...
Event brief www.ias.edu/stsv-lab/aig...
Congrats! We're excited to see what projects come from expMath!
NY times article on expMath, my AI for math
@darpa.mil program, with commentary from mathematicians Andrew Granville, Bryna Kra, Jordan Ellenberg, and context from IAS professor @alondra.bsky.social ocial and @anthropic.com CEO @darioamodei.bsky.social
www.nytimes.com/2025/06/19/s...
In his latest "Amstat News" piece, David Corliss spotlights the JEDI programming at the upcoming Joint Statistical Meetings in Nashville (Aug 2–7).
Don't miss this essential guide to making the most of JEDI at JSM. magazine.amstat.org/blog/2025/06...
Playing with Shape and Form: A Glimpse of Topology book cover.
See Playing with Shape and Form: A Glimpse of Topology in action!
Check out a clip of a classroom using the book, which is up to 35% off during the AMS Summer Reading Sale — ends July 4.
Watch here: www.youtube.com/watch?v=tjrN...
Shop here: bookstore.ams.org/view?Product...
#MathSky
Can you train a performant language model using only openly licensed text?
We are thrilled to announce the Common Pile v0.1, an 8TB dataset of openly licensed and public domain text. We train 7B models for 1T and 2T tokens and match the performance similar models like LLaMA 1 & 2
Excited to have my @darpa.mil program on AI for pure math, Exponentiating Mathematics, featured in @technologyreview.com! #expMath
Excited to have my @darpa.mil program on AI for pure math, Exponentiating Mathematics, featured in @technologyreview.com! #expMath