Mathematics Teacher Expert
$50-70
/hr
Mathematics experts are critical for frontier AI training. These roles involve formal proof verification (using Lean 4), abstract algebra evaluation, calculus problem assessment, and discrete mathematics verification. You will help AI understand rigorous mathematical reasoning and logical proof. Requires advanced mathematics education (preferably PhD). These are among the highest-paying and most specialized roles. Pay: $49-$80/hr.
Part of: STEM & Science
61 Jobs
Page 1 of 3
$50-70
$50-70

Trending jobs + new guides + real pay data. Every Tuesday.
$35-70
/hr
$6-70
/hr
$8-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
$6-70
/hr
One browser alert a day when new roles land, Mathematics first. No email needed.
Mathematics evaluation spans everything from calculus and linear algebra to abstract algebra, topology, and formal proof verification. Tasks present AI-generated proofs or solutions and ask you to identify logical gaps, incorrect lemma applications, or algebraic errors. Lean 4 and Mathlib formalization tasks are an emerging and well-compensated subset, if you can write formal proofs in a proof assistant, premium tasks await. Combinatorics and number theory problems appear frequently, as do probability and statistics tasks. Some tasks ask you to write counter-examples to disprove AI conjectures. Work is self-paced and intellectually engaging. Graduate-level math background is typical for advanced tasks; solid undergraduate training is sufficient for foundational problem-solving roles.
Strongly preferred, and PhD holders qualify for the highest rates. Bachelor's-only candidates usually don't qualify unless they have 5+ years of specialized research or teaching experience.
Lean 4 is a theorem prover for formal mathematics. You don't need it to start, but the highest-paying formal verification roles use it, and free online courses cover the basics.
Abstract algebra, real analysis, topology, and discrete mathematics most common. Formal verification and Lean 4 proof roles highest-paying. Applied math, numerical analysis also valued.
You're evaluating AI-generated proofs, problem-solving approaches, and mathematical reasoning, not teaching a class. You spot errors, verify rigor, and assess whether AI understands mathematical concepts.
This page is showing 61 listings, sourced from 10 platforms: Meridial (19), Mercor (17), Turing (10), Handshake (4) and Micro1 (3). The most recent one was picked up today. The count moves as platforms post and close roles, so treat it as a snapshot of today rather than a fixed figure.
Most sit between $49 and $80 an hour, with a median of $70, measured across the 47 listings on this page that quote an hourly rate. The highest rate currently posted here is $125 an hour. These are the figures the platforms published, not our estimates, and the rate you are offered depends on how you do in that platform's assessment.
Both appear here. 2 listings pay per task or per project rather than by the hour, and the rest quote an hourly rate. Per-task work suits people who are fast and accurate, since your effective hourly rate depends on how long each unit takes you.
Meridial (19), Mercor (17), Turing (10), Handshake (4) and Micro1 (3). No single one dominates this category, so it is worth holding accounts on more than one. Most contracts allow you to work through several platforms at the same time.
Browse all job categories and find your next AI training opportunity.
View All Categories