Pure Mathematics Specialist – Freelance AI Trainer Project
Core
Constructing and evaluating complex mathematical proofs to train large-scale language models for rigorous proof-based reasoning.
Role type
Freelance pure mathematics specialist (Lean 4)
Builds
High-quality mathematical training data for AI reasoning capabilities
Domain
Pure mathematics and AI/ML
Deliverable
production ML models
Required skills
Pure mathematics expertise, Lean 4 fluency, proof construction, logical reasoning, abstract algebra, category theory, measure theory, real and functional analysis, probability theory, optimization
Preferred skills
PhD or PostDoc experience in pure mathematics, familiarity with Markov's and Chebyshev's inequalities, Hoeffding bounds, convergence theorems, Carathéodory extension theorem, Riesz representation theorem, Banach–Alaoglu, Lax–Milgram, stochastic approximation, Van Kampen's theorem, Yoneda embedding, representability in cohomology
Technologies
Lean 4
Responsibilities
Construct and evaluate complex proofs, substantiate mathematical reasoning for correctness and rigor, identify subtle conceptual or logical failures, translate mathematical material to .lean syntax, collaborate to refine prompts and evaluation frameworks
Seniority
Senior, hands-on IC
