at Alignerr
Get paid up to $200/hr to formalize advanced math proofs in Lean 4 — and help define the frontier of what AI can reason about.