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 four and advancing two grade levels.
During high school, he represented his school in national-level mathematics competitions, where he developed a strong interest in advanced problem solving and mathematical reasoning.
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 by completing all three examination parts within an accelerated timeframe.
Drawing on his background in mathematics and analytical problem solving, he founded Mathexa.ai as an independent long-term initiative dedicated to developing high-level mathematical thinkers. Alongside his professional career, he continues to develop Mathexa toward its broader vision of building an AI Mathematician capable of advanced mathematical reasoning.