Pure Mathematics Specialist – Freelance AI Trainer Project
Pure Mathematics Specialist – Freelance AI Trainer Project is an open role at Meridial, available remotely, with pay listed as $35–$65/hr.
Applications open on Meridial’s own site. How we make money.
About this 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. 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. On a typical day, you will construct and evaluate complex proofs, substantiate the mathematical reasoning for correctness and rigor while identifying subtle conceptual or logical failures, and translate this material to successfully build in .lean syntax. You will also collaborate with our team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks, enhancing the overall quality of our operations. Candidates fluent in Lean 4 with an in-progress or freshly earned PhD or current PostDoc experience in pure mathematics are ideal. A strong command of core areas is required, and applicants should be 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 (explicitly articulating reasoning and proof strategies) is essential. Ready to turn your Lean 4 fluidity and pure math expertise into the reasoning backbone of
Pay
$35–$65/hr
About Meridial
Meridial's connection to Invisible Technologies: Invisible-powered expert contractor network. Law, STEM, finance, coding, linguistics, safety and AI training
Ownership confidence: Confirmed. See the full network profile →
Similar open roles
Frequently asked questions
How do I apply for the Pure Mathematics Specialist – Freelance AI Trainer Project role at Meridial?
Applications go through Meridial's own portal - HumanSourcer links to the listing and never collects applications or handles hiring. Meridial's access model is "Apply" (Join network / apply to projects). This listing was first seen here on July 19, 2026 and was still live at the last check.
Is the Pure Mathematics Specialist – Freelance AI Trainer Project role at Meridial remote?
Yes - Meridial lists this role as remote.
What does the Pure Mathematics Specialist – Freelance AI Trainer Project role at Meridial pay?
Meridial lists this role's pay as $35–$65/hr, quoted from the listing rather than estimated.
What kind of work is Pure Mathematics Specialist – Freelance AI Trainer Project?
Translation / linguistics. Law, STEM, finance, coding, linguistics, safety and AI training
Is Meridial a legitimate AI-training platform?
Invisible-powered expert contractor network - and that relationship is rated "Confirmed" here because it can be checked against www.meridial.ai rather than taken on Meridial's word. Confidence describes how well the ownership is evidenced. It is not a rating of how the platform treats the people who work for it, which no public source covers reliably.
Get new AI-training roles by email
One weekly digest of newly listed roles across every tracked network - pay where it's disclosed, no spam, unsubscribe anytime.
Free. See how we make money.