AI Tutor - Math

Lean 4 Mathematical Formalization Expert

• Science & Research
• Platform: Alignerr

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.

Math Expert

• Science & Research
• Platform: Alignerr

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.

AI Tutor - Applied Math

• Science & Research
• Platform: xAI

This remote role asks applied mathematicians to check AI-generated answers and write rigorous solutions to problems in areas such as differential equations, statistics and numerical analysis. It suits holders of an advanced mathematics degree or a high-level olympiad medal who can judge whether a model's reasoning is sound. The work trains an AI model to tell flawed or poorly justified mathematical arguments from correct, practical ones.

Posted September 30, 2025

AI Tutor - Physics

• Science & Research
• Platform: xAI

This remote role involves annotating and evaluating AI-generated physics content, finding errors in physical reasoning and writing rigorous worked solutions to help train an AI model. It is aimed at physicists with an advanced degree and deep expertise in one or more subfields, ideally with teaching, publishing or AI evaluation experience.

Posted September 30, 2025

Mathematician

• Science & Research
• Platform: DataAnnotation

This role involves evaluating and improving how AI models handle rigorous mathematical reasoning. You will create challenging math problems, review AI solutions for logical errors and unjustified steps, and write correct solutions that serve as training examples for the models to learn from.

STEM Expert (MSc./PhD)

• Science & Research
• Platform: micro1
• Location: 58 countries

This is a remote, contract role for scientists and quantitative experts who will solve challenging problems in their field and check AI-generated answers for technical accuracy. Much of the work is hands-on Python for calculations and simulations, and candidates are expected to already use coding agents in their workflow. It suits people with deep expertise in at least one core science or mathematics area, whether gained in academia, industry, or independent work.

Posted October 16, 2026