About Mathexa.ai
Mathexa.ai is an olympiad-focused mathematics training platform designed for high school students pursuing advanced problem-solving mastery.
It is not built as a conventional tutoring system, but as a structured framework for developing mathematical thinking at a deep level, emphasizing clarity, precision, and first-principles reasoning.
The system is designed to guide students from foundational understanding toward olympiad-level performance, including national competitions and international stages such as the International Mathematical Olympiad.
In the long term, Mathexa aims to evolve beyond training into a system that captures and scales mathematical reasoning itself, forming the foundation of an AI Mathematician.
Founder
Carlos Kanysi is the founder of Mathexa.ai. He demonstrated early academic acceleration by entering elementary school at the age of 4 and advancing two grade levels.
During high school, he represented his school in national-level mathematics competitions, where he developed original problem-solving approaches beyond standard methods.
He later built a professional career spanning more than a decade across internal audit, finance, and analytical roles, with a strong focus on structured thinking, risk-based analysis, and control optimization.
During this period, he earned the Certified Internal Auditor (CIA) designation, completing all three parts within an accelerated timeframe.
After years of experience in internal audit and analytical roles, he eventually made a deliberate decision to step away from his corporate career to focus entirely on building Mathexa.ai, an initiative dedicated to developing high-level mathematical thinkers, with a long-term vision of building an AI Mathematician system capable of advanced reasoning.