IMO 2023 Honourable Mention For MongoliaStudying Math & CS At KAISTCompiler/ZK Engineering Intern At Fractalyze
Mongolian IMO 2023 team member (Honourable Mention) now studying Math & CS at KAIST; working across ZK/compiler engineering and ML.
Erkhesbold Ochirkhuu is a Mongolian mathematics talent and KAIST undergraduate. He represented Mongolia at the 64th International Mathematical Olympiad (IMO 2023) in Chiba, Japan, scoring 17 points for an Honourable Mention. He is studying Mathematics & Computer Science at KAIST in Daejeon, South Korea, and has interned in compiler/ZK engineering at Fractalyze, as an LLM trainer at Mercor, and in machine learning at AND Global Pte. Ltd.
UniversityKorea Advanced Institute of Science and Technology (KAIST)
MathematicsComputer ScienceCompiler EngineeringZero-Knowledge ProofsMachine LearningLarge Language ModelsCompetitive mathematicsZero-knowledge cryptographyCompilersMachine learning
Signal
Low-volume LinkedIn poster (4 followers). Activity is STEM/engineering-oriented: engaged with a STEM-education initiative post and shared a personal update about 'contributing to society', consistent with a student transitioning into industry engineering work.
Notes
Competed for Mongolia at IMO 2023 (64th IMO, Chiba, Japan), scoring 17 points for an Honourable Mention, ranking 315th overall and 6th of 6 on the Mongolian team.Jul 2023
Enrolled at KAIST (Korea Advanced Institute of Science and Technology) studying Mathematics & Computer Science, based in Daejeon, South Korea.2024
Experience
Compiler and ZK Intern at Fractalyze
Jun 2026 - Present
LLM Trainer at Mercor
Nov 2025 - Present
Machine Learning Intern at AND Global Pte. Ltd.
Jun 2025 - Present
Education
Korea Advanced Institute of Science and Technology
AchievementsRepresented Mongolia at the 64th International Mathematical Olympiad (IMO 2023), earning an Honourable Mention · Represented Mongolia at the 64th International Mathematical Olympiad (IMO 2023), earning an Honourable Mention with 17 points · 6th of 6 on the Mongolian IMO 2023 team; Mongolia placed 30th overall