at Alignerr
Get paid up to $200/hr to push the boundaries of AI reasoning — formalize advanced proofs in Lean 4 and help teach machines to think like mathematicians.