Pure Mathematics Specialist – Freelance Ai Trainer Project
Invisible Expert Marketplace
Remote
$35 to $65 ph
Remote
Pure mathematics expertise
Lean 4 fluency
Construct and evaluate complex proofs
Invisible Expert Marketplace is seeking a freelance Pure Mathematics Specialist to contribute to AI training by providing high-quality mathematical training data. The ideal candidate should possess a deep understanding of pure mathematics and fluency in Lean 4 to develop and evaluate complex proofs for advanced topics
Job Summary
Your insight will help power the next generation of AI by providing high-quality mathematical training data.
You will construct and evaluate complex proofs, substantiate mathematical reasoning, and translate this material to successfully build in .lean syntax.
Candidates fluent in Lean 4 with an in-progress or freshly earned PhD or current PostDoc experience in pure mathematics are ideal.
Matching Summary
Match Score: 85
Invisible Expert Marketplace is seeking a freelance Pure Mathematics Specialist to contribute to AI training by providing high-quality mathematical training data. The ideal candidate should possess a deep understanding of pure mathematics and fluency in Lean 4 to develop and evaluate complex proofs for advanced topics.