Seeking accomplished research mathematicians to evaluate research papers, develop advanced mathematical reasoning tasks, and improve frontier AI systems through expert-level proof verification and mathematical analysis.
Advanced STEM Experts: Graduate-Level Problem Creation for AI
United States
July 11, 2026
Job description
What We're Researching
We're running a paid study on the scientific reasoning capabilities of advanced AI models. Our goal is to push the boundaries of AI comprehension in complex disciplines like biology, chemistry, physics, and mathematics. By feeding these systems highly rigorous academic scenarios, we can better map their analytical blind spots and logic failures.
How It Works
You will act as a domain expert, designing original graduate-to-PhD-level problems within your specific field of study. For each problem, you will provide a single exact, verifiable answer alongside a rigorous step-by-step solution. You may also review existing AI-generated responses to identify specific reasoning errors and technical flaws. This work is conducted asynchronously on your own computer, allowing you to carefully craft and evaluate complex academic material.
Who This Is For
This project requires deep subject-matter knowledge and strong technical writing skills. We welcome PhD candidates, PhD holders, postdoctoral researchers, university faculty, and other advanced STEM practitioners. Specifically, we are looking for experts in biology, chemistry, physics, mathematics, and advanced engineering disciplines who have experience teaching or developing complex academic problems.
What You'll Do
- Author original, graduate-level academic problems in your area of STEM expertise.
- Write rigorous, step-by-step solutions that lead to a single verifiable answer.
- Review AI-generated responses to advanced scientific questions.
- Identify and clearly explain specific logic or reasoning errors in technical outputs.
Who Should Apply
- PhD candidate, PhD holder, postdoc, or faculty member in a STEM field.
- Deep expertise in biology, chemistry, physics, mathematics, or engineering.
- Experience solving, teaching, or developing advanced academic problems.
- Strong analytical reasoning and careful technical writing abilities.
- Willingness to complete an initial project-instructions assessment.
Compensation
$110 per task
Ready to participate?
About Terac
Terac is building the world's largest pool of vetted human experts for AI. Researchers, AI labs, and product teams use Terac to recruit, screen, and pay study participants across industries, languages, and skill sets.
Learn more at terac.com or on YouTube at @jointerac.
Apply now
You will be redirected to the company's website to complete your application.
Role Title: Mathematics Expert Role Type: Contractor Location: Remote micro1 is engaging Mathematics Experts to participate in a high-impact customer project. In this role, you'll apply your expertise to help train next-generation AI systems.
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape how AI reasons, verifies, and understands the most complex proofs in existence?
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape the future of AI reasoning?