Mathematics & Python Expert - Freelance AI Trainer

Mindrift

7h•Remote

About The Position

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 the problem has to require a specialized tool like Z3, cvc5, SageMath, Macaulay2, or others. NumPy or SymPy on their own won't cut it. Each problem runs inside a sealed Linux container with the tool pre-installed and a programmatic judge that grades the model's answer.

Requirements

Degree in Mathematics (Pure or Applied) or 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 SageMath
Ability to design problems that genuinely require a specialized solver
Strong written English (C1+)

Nice To Haves

Experience with specialized mathematical tools like Z3, cvc5, SageMath, Macaulay2.
Experience tuning AI models or agents.
Experience with Linux containers.

Responsibilities

Pick an anchor tool and design a problem that hinges on its usage.
Write a Python reference solution, supply input files optionally where needed.
Decide the numerical answer and how close the model needs to get to count as right.
Test the problem against the model in batches of parallel attempts, tuning the problem difficulty until the agent only succeeds in a small number of attempts.
Ensure task quality is high through feedback from senior reviewers.