About The Role What if your mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and logicians with hands-on experience in formal proof systems — particularly Lean 4 and Mathlib — to help translate complex mathematical argume