Lean 4 Mathematical Formalization Expert
$200
Explore verified remote AI training opportunities in Elite & Competition-Level Roles. Help leading tech companies improve their AI models through domain-specific evaluation and human feedback. Work is fully remote and flexible—you set your own hours. Positions range from entry-level ($15/hr) to expert-level ($45+/hr) depending on specialization and experience.
Page 1 of 1
$200
$70
$200
$200
$200

Trending jobs + new guides + real pay data. Every Tuesday.
$200
$93
$80
$80
$80
$80
$80
Hyper-expert roles represent the absolute ceiling of AI training specialization and compensation. You'll work on problems that only a handful of people in the world are qualified to evaluate: formal mathematical proofs in Lean 4 or Coq targeting Mathlib contributions, competitive programming solutions benchmarked against Codeforces Grandmaster or LeetCode top-tier performance, International Mathematical Olympiad problem analysis, or Kaggle Grandmaster-level machine learning strategy evaluation. These tasks are intellectually demanding in ways that even expert-tier roles are not—you're evaluating AI outputs at the frontier of human capability in your domain. Work is compensated at the highest available rates. Verifiable competition credentials (Kaggle rank, Codeforces rating, competition results, publication record) are required for task pool access. These are genuinely rare opportunities for the world's top domain specialists.
Many entry-level data annotation and evaluation roles in Elite & Competition-Level Roles do not require prior professional experience, just attention to detail and critical thinking. Most platforms provide training and detailed guidelines to help you succeed.
Pay varies by role and platform. Entry-level data annotation typically pays $15-25/hr. More specialized roles (coding review, language evaluation) pay $35-80/hr. Rates vary by location—US-based workers typically earn more. Build your reputation to unlock higher-paying tasks.
Yes! Most platforms allow you to work for Mercor, Micro1, SME Careers, DataAnnotation, Outlier, and other AI training companies at the same time. Many successful contractors juggle 2-3 platforms to maximize earnings and task availability.
Most platforms pay via PayPal, Wise, AirTM, or local bank transfers. You can typically cash out weekly or after completing your first task. Check individual platform listings for your region's payment options.
Browse all job categories and find your next AI training opportunity.
View All Categories