Pure Mathematics Specialist AI Trainer

Pure Mathematics Specialist AI Trainer

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.

About the Role

We’re looking for specialists with deep foundations in pure mathematics who can engage with advanced topics across probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory. Coupled with this deep foundation, we need each expert to have a normalized fluency in Lean 4, the proof assistant and programming language.

Key Responsibilities

• Construct and evaluate complex proofs.
• Substantiate mathematical reasoning for correctness and rigor.
• Identify subtle conceptual or logical failures in mathematical reasoning.
• Translate mathematical material into Lean 4 syntax.
• Collaborate with the team to refine prompts, evaluation frameworks, and benchmarks.

Qualifications

• PhD or Postdoc experience in pure mathematics (in-progress or recently completed).
• Strong command of core mathematical areas including probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory.
• Familiarity with concepts 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.
• Normalized fluency in Lean 4.
• Clear, metacognitive communication skills (explicitly articulating reasoning and proof strategies).

Compensation and Benefits

Pay range: $35 to $65 per hour, determined by experience, expertise, and geographic location. Final offer amounts may vary.

As an independent contractor, you will supply your own secure computer and high-speed internet. Company-sponsored benefits such as health insurance and PTO do not apply.

Key skills/competency

• Pure Mathematics
• Lean 4
• AI Training
• Proof Construction
• Mathematical Reasoning
• Functional Analysis
• Probability Theory
• Abstract Algebra
• Category Theory
• Metacognitive Communication