at Alignerr
Get paid up to $200/hr to formalize cutting-edge math in Lean 4 — shape the future of AI reasoning from anywhere in the world.