We are actively seeking partnerships with AI companies, research universities, and leading mathematicians who share our vision: advancing the use of artificial intelligence to tackle unsolved problems in mathematics.
While AI has achieved extraordinary progress across science and technology, its ability to contribute meaningfully to higher mathematics remains limited. We aim to close this gap by building a collaboration that unites mathematical expertise, advanced machine learning, and new computational frameworks for formula discovery, conjecture generation, and rigorous proof assistance.
We welcome collaboration in areas such as:
Mathematics remains a frontier where AI has not yet reached its full potential. Collaborating now offers the opportunity to shape the foundations of next-generation reasoning models and to contribute to breakthroughs that can transform both mathematics and artificial intelligence.
We invite AI labs, universities, and mathematics researchers to join us in pushing the boundaries of what AI can achieve in mathematical discovery. If your work aligns with these goals, we would be delighted to explore collaboration opportunities.
Please reach out to discuss potential partnerships:
Professor Badih Ghusayni
Email: ghusayni@future-in-tech.com
Organization:Future Institute of Technical Studies