Pure Mathematics Specialist – Freelance AI Trainer Project

About the Role

Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data. With your advanced expertise, tomorrow’s AI can better understand abstraction, logic, measure theory, homotopy, and the deep structures of modern mathematics. That training data begins with you - your insight will help power the next generation of AI.

Responsibilities

• Construct and evaluate complex proofs in pure mathematics
• Substantiate mathematical reasoning for correctness and rigor while identifying subtle conceptual or logical failures
• Translate mathematical material to successfully build in .lean syntax
• Collaborate with our team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks

Requirements

• In-progress or freshly earned PhD or current PostDoc experience in pure mathematics
• Deep foundations in pure mathematics with expertise in probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory
• Normalized fluency in Lean 4, the proof assistant and programming language
• Comfortable with topics such as Markov’s and Chebyshev’s inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem, Banach–Alaoglu, Lax–Milgram, stochastic approximation, Van Kampen’s theorem, the Yoneda embedding, and representability in cohomology
• Clear, metacognitive communication skills for explicitly articulating reasoning and proof strategies

Compensation

Pay range of $35 to $65 per hour, with the exact rate determined after evaluating your experience, expertise, and geographic location. Final offer amounts may vary from the pay range listed above.