Mathematician Python Expertise - Freelance AI Trainer

Please submit your CV in English and indicate your level of English proficiency.

Mindrift connects specialists with project-based AI opportunities for leading tech companies, focused on testing, evaluating, and improving AI systems.
Participation is project-based, not permanent employment.

You will design mathematics problems to challenge a frontier AI model. The problem must have an answer verifiable by code, and it must require a specialized tool such as Z3, cvc5, Sage Math, Macaulay2, or others. Num Py or Sym Py on their own won’t suffice. Each problem runs inside a sealed Linux container with the tool pre-installed and is judged programmatically for accuracy.

• Pick an anchor tool and design a problem that hinges on its usage.
• Write a Python reference solution and supply input files if needed.
• Decide the numerical answer and specify how close the model must come to be considered correct.
• Test the problem against the model in batches of parallel attempts, tuning difficulty until the agent succeeds in only a small number of attempts.
• Once satisfied, submit the task for senior review within your subfield. The reviewer will provide feedback to ensure high quality.

Calibration requires patience. You will tune the problem against batches of parallel runs, aiming for a pass rate in the 10–30% band. Reaching that level involves rewriting, re‑tightening, and observing how the agents act, including where they cut corners, stall, or converge. Each task deepens your command of the anchor tool and gives hands‑on intuition for how a frontier model navigates complex scientific problems.

This opportunity is a good fit for mathematicians with experience in Python, open to part‑time, non‑permanent projects. Ideally, contributors will have:

• Degree in Mathematics (Pure or Applied) or a related field.
• 2+ years of research, applied, or teaching experience.
• Python proficiency for writing reference solutions.
• Fluency with—or strong willingness to independently learn—at least one scriptable mathematical package: Z3, cvc5, Macaulay2, Singular, CasADi, IPOPT, SDPB, G6K, fpylll, or Sage Math.
• Ability to design problems that genuinely require a specialized solver.
• Strong written English (C1+).

No prior experience with the listed tools? You’re still welcome to apply—as long as you’re ready to get up to speed on your own and hit the ground running.

• Apply
• Pass qualification(s)
• Join a project
• Complete tasks
• Get paid

For this project, tasks are estimated to require around 10–20 hours per week during active phases, based on project requirements. This is an estimate, not a guaranteed workload, and applies only while the project is active.

On this project, contributors can earn up to $76 per hour equivalent
, depending on their level and pace of contribution. Compensation varies across projects, depending on scope, complexity, and required expertise.