Use advanced mathematical training to evaluate AI-generated content.
Provide feedback that helps AI better understand mathematical reasoning.
Design rigorous, domain-relevant questions and review AI-generated responses.
Handshake AI is seeking Math PhDs to support AI research through flexible, hourly contract work. They help AI better understand mathematical reasoning, proof construction, and technical problem-solving.
Translate informal mathematical proofs into Lean (and related proof systems) with an emphasis on clarity, structure, and correctness.
Analyze generic and domain-specific proofs, identifying gaps, hidden assumptions, and formalizable sub-structures.
Construct formalizations that test the limits of existing proof assistants—especially where tools struggle or fail.
Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. They recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high-integrity dataset creation.