People of the world. 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.
Our goal will be to build a community where, based on mutual respect, we will develop non-trivial agents, study their interactions and properties, exchange ideas, and make sure we are building tools which are open, inclusive, and will overall have a positive impact on society.
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.
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.
We encourage you to join our community and be part of this ongoing revolution.