Jason Rute
AI Researcher @ IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
@kevinhartnett.bsky.social
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.
@pietromonticone.bsky.social
Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus. • GitHub: https://github.com/pitmonticone • YouTube: https://www.youtube.com/@PietroMonticone
@girving.bsky.social
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.
@aniva.bsky.social
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl 🔧 Researcher in Machine Assisted Theorem Proving in Stanford University Centaur Lab ☯️ Director of NorCal Hakkero Factory No. 1 (I make cosplay props) ❄️ I post both research and cosplay content #pinksky
@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/
@abeltm.bsky.social
Research Scientist. Implementing reasoning in AI. Theory and implementation of open ended reasoning algorithms for long term planning, robotics, math, protein design and science
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@moajohansson.bsky.social
Associate Professor in Data Science and AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and stir.
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@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
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app