, novelty, and rigor. Author and review challenging mathematics problems used to train and evaluate frontier AI models.... Evaluate model outputs on tasks ranging from proof construction and verification to problem-solving, formalization...
, novelty, and rigor. Author and review challenging mathematics problems used to train and evaluate frontier AI models.... Evaluate model outputs on tasks ranging from proof construction and verification to problem-solving, formalization...
in advanced mathematical reasoning, proof evaluation, problem development, formalisation, conjecture exploration, and frontier... and evaluation workflows Develop tasks involving proof construction, proof verification, formalisation, problem-solving...
hours/week Role Responsibilities Author and review challenging mathematics problems to train and evaluate frontier... AI models. Evaluate model outputs on tasks such as proof construction, verification, problem-solving, formalization...
hours/week Role Responsibilities Author and review challenging mathematics problems to train and evaluate frontier... AI models. Evaluate model outputs on tasks such as proof construction, verification, problem-solving, formalization...