Math IMO Expert
Core
Designing competition-level mathematics problems and rigorously evaluating large language model reasoning to expose deep deficiencies in AI systems.
Role type
Senior IC mathematical problem author and LLM evaluator
Builds
Evaluation benchmarks and datasets for LLM reasoning capabilities
Domain
Artificial Intelligence / Competitive Mathematics
Deliverable
production ML models
Required skills
Competitive mathematics (IMO/AIME/HMMT level), LaTeX, problem authoring, error diagnosis, logical proof construction, independent research
Preferred skills
Olympiad participation/coaching experience, complex problem analysis
Technologies
LaTeX
Responsibilities
Design original, challenging mathematics problems at AIME, HMMT, and IMO difficulty; Author novel prompts that break evaluated models; Solve problems and write detailed, self-contained solutions in LaTeX; Review model-generated solutions and identify mathematical errors or logical fallacies; Contribute to defining new evaluation benchmarks; Classify prompts by domain, sub-domain, topic, and proficiency level