Create challenging mathematics problems and scenarios based on real proofs, formal methods, and computational workflows. Review AI-generated answers and explain where they are accurate, rigorous, or misaligned with mathematical practice.
- Write structured feedback to help improve AI performance.
- Use sound judgment in proof methods, symbolic computation, optimization, numerical analysis, or a core mathematics field.
- Complete assignments independently in a remote, asynchronous setting.
What it pays and takes
- Pay: Up to $75 per hour.
- Work arrangement: Flexible, part-time contract work with no set schedule or minimum hours.
- Location: Open to candidates in the United States.
- Education: A PhD in pure or applied mathematics is listed; applicants with depth in at least two core qualification areas are also encouraged to apply.
- Expertise: Demonstrated depth in proof and formal methods, symbolic computation, optimization, numerical analysis, or a field such as algebra, topology, geometry, number theory, analysis, or combinatorics.
- Skills: Strong written communication, attention to detail, and the ability to explain complex mathematical ideas clearly.
- Helpful experience: Theorem provers such as Lean, Coq, or Isabelle; symbolic tools such as SageMath or Mathematica; or formalizing proofs and working on problems beyond current AI capabilities.
How it works
Apply on OpenTrain with your resume, then complete the application on the hiring site.
About AI training work
AI training work uses human-written examples and reviews to help AI systems learn and improve. Specialized projects pay for subject expertise because careful mathematical judgment helps assess whether model answers are sound.