Mathematics & Python Expert - Freelance AI Trainer
M
Mindrift
📍 Remote, Remote, Colombia
Job Description
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.
What This Opportunity Involves
You 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.
- 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 ...