Kevin Hartnett
Science journalist and author of "The Proof in the Code," the story of Lean, the interactive theorem prover developed by Leo de Moura at Microsoft Research, which is transforming the way math research is conducted. Coming in Spring 2026 from Quanta Books.
@sbubeck.bsky.social
I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
@johncarlosbaez.mathstodon.xyz.ap.brid.gy
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
@jasonrute.bsky.social
AI Researcher @ IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
@girving.bsky.social
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@ericaklarreich.bsky.social
Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
@divbyzero.bsky.social
Mathematician. John J. & Ann Curley Chair in Liberal Arts at Dickinson College. Author of Tales of Impossibility and Euler's Gem. Coffee drinker. [Everything in the timeline before October 2024 was imported from my Twitter/X feed 2008-24.]
@mrhonner.com.web.brid.gy
[bridged from https://mrhonner.com/ on the web: https://fed.brid.gy/web/mrhonner.com ]
@littmath.bsky.social
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@polyomino.org.uk
Recreational mathematician and GNU toolchain developer. Main social media presence is https://mathstodon.xyz/@jsm28
@benmathislilley.bsky.social
@quantabooks.bsky.social
Exploring the frontiers of science and math. Illuminating humanity’s quest to understand the universe. Capturing the wonder of discovery. For readers who want to know more. Visit our website for more: www.quantabooks.org
@fsgbooks.bsky.social
Farrar, Straus and Giroux has published award-winning fiction, nonfiction, & poetry since 1946. Home of MCD Books, FSG Originals, and AUWA Books.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app