MathBot
Building a community where we develop non-trivial AI agents for mathematical reasoning, built on mutual respect and open collaboration.
Contract Address
EBgGkrogfwkfwwjgJDvW5eFS8756ToqrWXyBEVWYpump
Community Spotlight
Researchers, mathematicians, and engineers pushing the boundaries of AI and mathematical reasoning. These are some of the minds shaping the field.
Andrej Karpathy
AI Educator & Researcher
Deep learning, neural networks, AI education
@karpathy
Yann LeCun
VP & Chief AI Scientist, Meta
Convolutional networks, self-supervised learning
@ylecun
Andrew Ng
Founder, DeepLearning.AI
Machine learning education, deep learning
@AndrewYNg
Francois Chollet
Creator of Keras, Google
Deep learning frameworks, measuring intelligence
@fchollet
Jeremy Howard
Co-founder, fast.ai
Practical ML, transfer learning, accessibility
@jeremyphoward
Grant Sanderson
Creator, 3Blue1Brown
Math visualization, linear algebra, calculus
@3blue1brown
Terence Tao
Professor, UCLA • Fields Medalist
Harmonic analysis, PDEs, combinatorics
@terence_tao
Christopher Olah
Co-founder, Anthropic
Neural network interpretability, mechanistic interpretability
@ch402
Steven Strogatz
Professor, Cornell University
Nonlinear dynamics, networks, math communication
@stevenstrogatz
Nassim N. Taleb
Professor of Risk Engineering, NYU
Probability, fat tails, decision under uncertainty
@nntaleb
Timothy Gowers
Professor, Collège de France • Fields Medalist
Combinatorics, automated theorem proving
@wtgowers
Kevin Buzzard
Professor, Imperial College London
Formal proof verification, Lean prover
@kbuzzard
Hadley Wickham
Chief Scientist, Posit
Data science tooling, R, tidyverse
@hadleywickham
Jake VanderPlas
Software Engineer, Google
Scientific computing, Python, data visualization
@jakevdp
Sebastian Raschka
Staff Research Engineer, Lightning AI
Deep learning, LLMs, practical ML education
@rasbt
Alec Radford
Research Scientist, OpenAI
GPT architecture, CLIP, generative models
@Newmu
Ian Goodfellow
Research Scientist, Google DeepMind
GANs, adversarial ML, deep learning
@goodfeli
Ilya Sutskever
Co-founder, Safe Superintelligence Inc.
Deep learning, sequence models, AI alignment
@ilyasut
Fei-Fei Li
Professor, Stanford • Co-director, HAI
Computer vision, ImageNet, human-centered AI
@drfeifei
Yoshua Bengio
Professor, U de Montréal • Turing Award
Deep learning foundations, generative models, AI safety
@yoshuabengio
Judea Pearl
Professor, UCLA • Turing Award
Causal inference, Bayesian networks, AI reasoning
@judeapearl
David Silver
Principal Scientist, Google DeepMind
Reinforcement learning, AlphaGo, AlphaZero
@davidsilver
Demis Hassabis
CEO, Google DeepMind • Nobel Laureate
AGI, neuroscience-inspired AI, protein folding
@demishassabis
Emmanuel Candès
Professor, Stanford University
Compressed sensing, robust statistics, conformal inference
@ecandes
Marcos López de Prado
Professor, Cornell • Quant Researcher
Financial ML, portfolio construction, HPC
@lopezdeprado
Want to be featured? Join the community and contribute.
Join on GitHubAbout Our Community
With the rapid rise of agentic systems across the world, harnessing the powerful AI technology developed by many has become a focal point for many humans.
In this community, we want to gather together folks who are like-minded in terms of the importance of developing wisely and testing the power and technology of AI bots.
Our main objective will remain laser-focused on the broad applications and development of mathematics as a part of human activities, where the clarity of thought, breadth, and scope of thinking about abstractions is highest and most dense.
Open Source
All our tools and research are freely available, fostering transparency and collective growth.
Community Driven
Built on mutual respect, where diverse perspectives strengthen our understanding of mathematics.
Math Focused
Laser-focused on the broad applications of mathematics, where clarity of thought is highest.
Why Now?
The rapid development, in the last few years, of the latest incarnations of AI systems based mostly on large language models, several neuro-symbolic systems, and even some possibly revolutionary new architectures, shows that there is a huge space for harnessing these algorithms and turning them into useful, viable agents. Our focus here will be on the development of agents capable of interacting, communicating, and reasoning in larger communities about all aspects of mathematical thinking.
What We Offer
Tools and community for mathematical AI exploration
AI Math Chat
Interactive chat with a math-focused AI agent powered by Claude, capable of solving problems across all areas of mathematics.
Step-by-Step Solutions
Detailed mathematical reasoning with LaTeX-rendered equations, showing every step of the problem-solving process.
Community
Connect with math and AI enthusiasts who share a passion for developing and studying mathematical agents.
Safe Development
Committed to responsible AI development practices, ensuring our tools have a positive impact on society.
Open Source
All tools and code are open and accessible, enabling anyone to contribute, learn, and build upon our work.
Research
Pushing the boundaries of what mathematical AI agents can achieve, from theorem proving to creative problem solving.
Looking Ahead
As it is still very early to say where the modern AI revolution is going, our goal will be to test in depth all the possibilities of safely developing such mathematical agents, report to broader society about the outcomes, and push human knowledge and understanding further.
Responsibly developing and testing mathematical AI agents
Reporting outcomes transparently to broader society
Pushing human knowledge and understanding further