Pure Mathematics Specialist (AI)

TL;DR

Pure Mathematics Specialist (AI): Developing high-quality mathematical training data for large-scale language models with an accent on rigorous proof-based reasoning and Lean 4 implementation. Focus on constructing complex proofs and translating mathematical logic into .lean syntax to enhance AI abstraction and reasoning.

Location: Remote (Global)

Salary: $35–$65 per hour

Company

An agency specializing in providing high-quality expert training data to advance the reasoning capabilities of large-scale AI models.

What you will do

• Construct and evaluate complex mathematical proofs to create high-quality training data.
• Substantiate mathematical reasoning for correctness and identify conceptual or logical failures.
• Translate advanced mathematical material into .lean syntax using Lean 4.
• Collaborate with the team to refine prompts, evaluation frameworks, and reasoning benchmarks.

Requirements

• Deep foundations in pure mathematics (probability theory, measure theory, real/functional analysis, abstract algebra, category theory).
• Fluency in Lean 4 (proof assistant and programming language).
• PhD (in-progress or earned) or PostDoc experience in pure mathematics.
• Ability to provide clear, metacognitive communication of reasoning and proof strategies.

Culture & Benefits

• Fully remote work opportunity available worldwide.
• Flexible freelance contract arrangement.
• Opportunity to contribute to the reasoning backbone of next-generation AI models.