Contribute to the advancement of AI systems designed for scientific and mathematical reasoning by joining a select group of accomplished mathematicians. This role offers the opportunity to engage with cutting-edge models that require expertise in various fields of mathematics, including number theory, algebra, topology, analysis, and more. Your insights will help shape the future of AI by addressing complex mathematical challenges at a research level.

• Author and review challenging mathematics problems used to train and evaluate advanced AI models.
• Evaluate model outputs on tasks such as proof construction, verification, problem-solving, formalization, and conjecture exploration.
• Identify areas where current models fall short, focusing on subtle errors that a working mathematician would recognize.
• Collaborate with a small program team and other senior contributors.