Math 2.0. ~ Terence Tao. terrytao.wordpress.com/2026/10… #AI4Math
terrytao.wordpress.com Math 2.0
Best match combines word and meaning matches. Phrases, hashtags, accounts and websites guide which posts fit; timely queries also favor recent posts. Match labels describe why a post appears, not its quality or accuracy.
Math 2.0. ~ Terence Tao. terrytao.wordpress.com/2026/10… #AI4Math
terrytao.wordpress.com Math 2.0
Advancing mathematics research with AI-driven formal proof search. ~ George Tsoukalas et als. arxiv.org/abs/2605.22763 #LeanProver #ITP #AI4Math
arxiv.org Advancing Mathematics Research with AI-Driven Formal Proof Search
What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI. ~ Thomas Hales. terrytao.wordpress.com/2026/10… #LeanProver #ITP #AI4Math
terrytao.wordpress.com What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI
a very very nice explainer on the impacts that AI is having and will have on the field of mathematics: youtube.com/watch?v=KqiDqJMxg6o #math #AI #science #research #tech
youtube.com You Truly Don't Understand What Just Happened to Mathematics -
What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI Source : What's new / Terence Tao / Thomas Hales terrytao.wordpress.com/2026/10… #mathematics #maths #math @Tao@taomathstodon.xyz
terrytao.wordpress.com What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI
terrytao.wordpress.com/2026/09…
terrytao.wordpress.com A Severe Misalignment of AI in Mathematics
"Releasing over 700 files [solving math problems] at once is not a demonstration of scholarship, but a demonstration of power" I am not a mathematician, but in my mind it's as if you were working for years to finish a 10 000 piece puzzle, and then someone comes and solves it for you in minutes. And then they solve all the other puzzles in your shelf, which you eagerly wanted to start after finishing your current puzzle. So, solidarity with our human mathematicians ✊ mathandai.org/
mathandai.org Declaration — Math and AI
OpenAI Math Papers Clear Lean Checks at Just 42% tech-insider.org/openai-math-p…
tech-insider.org
My math thesis took five years The AI solved it during my lunch break and asked for dessert #AI #math #futureofwork https://chatgpthelp.nl/memes/2026-10-10/
‘Hostile takeover’: Mathematicians reckon with an AI revolution www.thetimes.com/article/dd2b...
thetimes.com ‘Hostile takeover’: Mathematicians reckon with an AI revolution
I chatted with @radiolab.bsky.social about math and AI – hope you enjoy the conversation radiolab.org/podcast/math...
radiolab.org Math Vs Machine
futurism.com/artificial-intell…
futurism.com Mathematicians Can't Make Sense of How OpenAI's Agents Solved One of the Toughest Math Problems Because the AI's "Proof" Is Borderline Incomprehensible
This is actually how AI destroys us.
It's really hard to escape the impression here that they deliberately went after this guy&deliberately scooped every single problem he ever expressed interest in Why him? Well, impossible to say, but worth noting he's a fierce AI critic Obviously the Fields medalist will be fine. But his students?
Philosophers: mathematics is the canary In the coal mine.
nisheethvishnoi.com Who Taught the Machines Mathematics?
The mathematicians have absolutely had enough of Open AI’s bullshit www.ahmath.org/statements
ahmath.org Statements — AHM -
It's the future though. aiweekly.co/alerts/openai-pull…
aiweekly.co OpenAI Pulls Three AI-Generated Math Papers Over Sign Error | AI Weekly
So much of the AI founder ethos can be seen in this one act.
Artificial Intelligence.
Search looks through the last 36 hours of public posts for your words, "exact phrases", #hashtags, @handles and websites, and also finds posts about the same thing by meaning. New posts join about every 10 minutes. We only include posts whose authors allow logged-out viewing (Bluesky) or search (Mastodon, indexable accounts), and we re-check Bluesky authors each time we show a page. Likes and follower counts never decide the order. For meaning matches, query text is turned into a fingerprint on Wildroot’s own server (EmbeddingGemma-300M); it is never sent to another service. Wildroot does not save query text to disk. Looking for posts like one you have? Similar posts. How to opt out.