Open AI training and model evaluation roles that call for Mathematics expertise, gathered from 5 platforms. Part of Science & Research.
Pay figures cover the 28 open jobs that publish an hourly rate in USD. They are published rates, not a guarantee of income. Last checked on October 8, 2026.
This role involves translating mathematical proofs into machine-verifiable Lean 4 formalizations for an AI research organization. Mathematicians with formal proof system experience will work on bridging informal mathematical arguments and automated reasoning, identifying gaps in current verification tools and helping advance mechanized mathematics at the intersection of AI and rigorous proof.
This contract role asks mathematicians to turn dense informal proofs into structured, machine-checkable Lean 4 formalizations. The work also involves helping AI researchers understand where automated provers fail and how to improve formal verification pipelines. It is aimed at people with strong proof-writing backgrounds who want to work at the intersection of mathematics and AI.
This contract role involves turning mathematical theorems, lemmas, and proofs from textbooks and articles into precise, machine-checked Lean 4 code. The work also includes checking existing formalizations for logical soundness and flagging gaps in informal arguments, with the output used to build datasets that teach AI systems to reason about mathematics. It suits mathematicians and formal verification experts who can work independently and on their own schedule.
This contract role involves turning rigorous informal mathematical proofs into machine-checkable Lean 4 formalizations and identifying gaps and hidden assumptions along the way. It is aimed at mathematicians with graduate-level training who enjoy precise proof writing and formal verification. The work is part-time and remote, with collaboration alongside AI researchers.
This contract role asks mathematics experts to label, organize and check math content that trains AI models. The work is remote and asynchronous, with a minimum weekly commitment. It suits people with strong math backgrounds in research, teaching or applied problem solving.
This freelance role asks mathematicians to design demanding problems and reference solutions that test how AI systems reason. The work also includes checking model outputs for accuracy and giving structured feedback, with benchmarks spanning undergraduate to PhD-level material. It suits people with advanced mathematical training who can work independently and remotely.
The role consists of translating informal mathematical arguments into machine-verifiable proofs in Lean and related proof assistants, and of analyzing where automated provers struggle. It is aimed at mathematicians with graduate training and hands-on proof assistant experience who can work independently on open-ended problems.
This is a remote, hourly freelance contract for mathematicians who formalize advanced arguments in Lean 4 and help build large formal libraries such as mathlib. It suits people with graduate-level training in mathematics who enjoy formal logic and want their work to shape how frontier AI systems learn mathematical reasoning.
This remote contract role asks mathematicians to write and audit formal proofs in Lean 4, contributing to large formal libraries such as mathlib. It suits people with an advanced degree in mathematics who can turn informal reasoning into machine-checkable proofs and want to help train mathematically capable language models.
This remote contract role asks mathematicians to write, check and audit formal proofs in Lean 4, feeding large formal libraries and helping train language models that reason mathematically. It is aimed at people with advanced training in mathematics who can work independently and asynchronously.
This remote contract role asks mathematicians to write and check formal proofs in Lean 4, strengthening large formal libraries and the mathematical reasoning of language models. It suits people with a graduate degree in mathematics who are comfortable working independently and asynchronously.
This remote contract role asks mathematicians to translate informal theorems and arguments into machine-checkable proofs in Lean 4, helping build the formal foundations that advanced AI systems rely on. It is aimed at candidates with graduate training in mathematics or a closely related field who enjoy rigorous proof and can work independently on an asynchronous schedule.
This is a remote, freelance contract for mathematicians who write formal proofs in Lean 4. The work involves turning informal mathematical arguments into machine-checkable proofs and contributing to large formal libraries, while supporting the training of mathematically capable language models. It suits people with a graduate background in mathematics who are comfortable working independently and on their own schedule.
This contract role asks mathematicians to formalize advanced theorems in Lean 4 and to contribute to large formal libraries such as mathlib. It also covers auditing existing formal proofs and helping train mathematically capable language models. It suits holders of a graduate degree in mathematics who can work independently and asynchronously on flexible hours.
This freelance contract is for PhD-level mathematicians who will evaluate and improve how AI systems handle mathematical reasoning. The work covers writing and reviewing advanced problems, checking AI-generated proofs and calculations, and organizing mathematical content for training datasets. It suits holders of a doctorate in mathematics or a closely related field who can work independently and remotely on their own schedule.
This contract role asks mathematicians to formalize advanced theorems and proofs in Lean 4 and to audit existing formal proofs for correctness. The work also helps train language models to reason mathematically and feeds into large formal libraries such as mathlib. It suits people with graduate training in mathematics who are comfortable working independently and asynchronously.
This freelance role asks mathematicians to turn informal proofs into machine-checkable formal proofs in Lean 4, helping shape how advanced AI systems reason. The work covers theorems from many mathematical fields, contributions to large formal libraries, and auditing existing proofs. It suits holders of advanced mathematics degrees who can work independently on flexible, remote schedules.
This contract role asks mathematicians to write, solve and check advanced problems that help AI models reason more reliably in mathematics. It suits people with a Master's or PhD in mathematics or a closely related field who can work remotely and set their own schedule.
This remote, hourly contract role asks mathematicians with a Master's or PhD to write, solve and review advanced problems, and to evaluate the mathematical reasoning produced by AI models. It suits researchers who are strong in algebra, calculus, statistics or discrete mathematics and who can work independently on their own schedule.
The job consists of creating, solving and reviewing advanced mathematical problems so that AI models can reason more accurately. It is aimed at people with a Master's or PhD in mathematics or a closely related field who can work remotely and set their own schedule. No prior AI experience is required, but strong mathematical depth and rigor are essential.
Add your resume once. Every open job is scored against your profile, and we email you only when a strong match appears. Free.
FAQ
29 Mathematics AI training jobs are open on SideHustler today. Listings are rechecked against the official postings: the latest check on this list was on October 8, 2026.
Among the 28 open roles that publish an hourly rate in USD, pay runs from $20 to $200 per hour, with a median of $168. These are the rates the platforms publish, not a guarantee of income or hours.
Alignerr (22), Mercor (3), micro1 (2), DataAnnotation (1) and Terac (1). You apply on the platform itself, which handles screening, contracts and payment.
The most requested areas of expertise on these listings are Mathematics, AI Evaluation, LLM Research, Experimental Design, Scientific Writing. Each listing states its own requirements.
Apply now opens the official posting on the platform, where you complete the application. You need no account on SideHustler. To see which roles fit your background first, add your resume and every open job is scored against your profile.
