Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About The Role What if your mastery of rigorous mathematics could directly shape how AI reasons, proves, and understands the deepest structures of human knowledge? We're looking for mathematicians with hands-on experience in formal pro