Nurmukhamed Zibatkaliyev

working on Desargues, a research lab focusing on formal verification data

some things about me

  • built jolqalai with a friend, ai for gov. made $350k in revenue in high school
  • 4 years of olympiad math, top 13 in Kazakhstan
  • won k2 think hackathon (#1/900), ahead of teams from Google DeepMind, MIT, Harvard
  • researched projective geometry and moving points for olympiad geometry
  • into armwrestling. at 18 organized a regional tournament (120 people)
  • at 12 made minecraft videos and did graphic design at a local photo studio
  • i love coffee, futsal, and flowers. wherever i travel, i find coffee shops and play football with locals

photos

Four friends outside at sunset
me, my coaches – Nurs (imo 2010) & Sanya (imo 2015), Bakha
Wearing medals and giving two thumbs up in a school hallway
school flex
A rainy street outside a coffee shop and restaurant
seoul 2026
Two glass coffee servers and tasting cups on a tray
some really goood cups
A futsal match with the ball flying toward the goal
tested goalkeeper
Four friends sharing dinner around a table
glamping
Three people smiling for a photo indoors
met Martin Hairer
A laptop, bags of coffee beans, and brewing equipment on a coffee shop counter
brought korean beans to my fav coffeshop
A bouquet of white and pale pink flowers
flowers