three friends. six years.
Olympiad math. Production ML. We've been training for the Lean frontier longer than it has existed.
BakhytRakhimNurmukhamed
- IMO & national olympiad medalists · ICPC semifinalist
- 7+ years in pure mathematical proofs · NU, KBTU
- Built & scaled ML at Higgsfield and Freedom AI
- JolQal.ai — $350K B2G revenue, built in high school
- K2 hackathon win against teams from DeepMind & Harvard
- Expert math annotation at Mercor
- Six months inside the formal-reasoning community
we read every email → founders@desargues.ai