About The Role What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics? We're looking for mathematicians with a passion for formal reasoning to help build the logical foundations that frontier AI models le