AI Reasoning Proof Architect — Remote

DataAnnotation; Town of Florida (NY); Remote; USD 55,000 - 172,000; Full time

Benefits offered by this job

Flexible work

Remote work

Project-based engagement

Job summary

DataAnnotation is seeking a Mathematician to evaluate and correct mathematical reasoning across problems and proofs, from olympiad style puzzles to graduate-level material. Your judgment becomes the standard the models learn from.

You will craft problems, review AI solutions step by step, and write gold-standard solutions when the model falls short, with the rigor of a referee report. This is a flexible, remote role with project-based work.

Qualifications

• Strong background in pure or applied mathematics through graduate study, competition math, or equivalent experience.
• Fluency writing precise, well-structured proofs (LaTeX comfort helps).
• Clear written English: explanations are the training signal.
• No degree required. We care about what you can do, not where you learned it.

Responsibilities

• Craft problems that expose weak mathematical reasoning, from olympiad-style puzzles to graduate-level proofs.
• Review AI solutions step by step: catch invalid derivations, flag unjustified leaps, and rate the quality of the reasoning.
• Write the gold-standard solution when the model falls short, with the rigor of a referee report.

Skills

Mathematics

Proof writing

LaTeX

Education

Graduate study in Mathematics

Competition math

Tools

LaTeX

Job description

DataAnnotation is seeking a Mathematician to evaluate and correct mathematical reasoning across problems and proofs, from olympiad style puzzles to graduate-level material. Your judgment becomes the standard the models learn from.

You will craft problems, review AI solutions step by step, and write gold-standard solutions when the model falls short, with the rigor of a referee report. This is a flexible, remote role with project-based work.