Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data. With your advanced expertise, tomorrow’s AI can better understand abstraction, logic, measure theory, homotopy, and the deep structures of modern mathematics. That training data begins with you - your insight will help power the next generation of AI.
We’re looking for specialists with deep foundations in pure mathematics who can engage with advanced topics across probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory. Coupled with this deep foundation, we need each expert to have a normalized fluency in Lean 4, the proof assistant and programming language.
On a typical day, you will construct and evaluate complex proofs, substantiate the mathematical reasoning for correctness and ri...