AI Proof Validator & Mathematical Reasoning Auditor

Globik AI; United States; Remote; USD 25,000 - 28,000; Full time

Job summary

Globik AI is seeking mathematics experts to evaluate AI-generated proofs, derivations, and mathematical reasoning. You will review proofs, verify logical validity, identify hidden assumptions, and check calculations to ensure accuracy and rigor.

The role involves explaining why proofs succeed or fail, comparing alternative approaches, and maintaining high precision across evaluation tasks. Compensation is per task and commensurate with effort.

Qualifications

• Review mathematical proofs and derivations.
• Verify logical validity of each step.
• Identify hidden assumptions and invalid transformations.
• Check calculations and final conclusions.
• Compare alternative solution approaches.
• Explain why a proof or solution succeeds or fails.
• Classify reasoning errors.
• Maintain high precision across evaluation tasks.

Responsibilities

• Review mathematical proofs and derivations to assess validity and rigor.
• Verify logical validity of each step and identify gaps or incorrect inferences.
• Identify hidden assumptions that could undermine conclusions and request clarification.
• Check calculations and final conclusions for accuracy and consistency.
• Compare alternative solution approaches and evaluate strengths and weaknesses.
• Explain why a proof or solution succeeds or fails, with clear rationale.
• Classify and document reasoning errors observed in the proofs.

Job description

Globik AI is seeking mathematics experts to evaluate AI-generated proofs, derivations, and mathematical reasoning. You will review proofs, verify logical validity, identify hidden assumptions, and check calculations to ensure accuracy and rigor.

The role involves explaining why proofs succeed or fail, comparing alternative approaches, and maintaining high precision across evaluation tasks. Compensation is per task and commensurate with effort.