at Alignerr
Get paid up to $150/hr to push the boundaries of formal mathematics — write Lean proofs that AI can't solve alone. Remote and flexible.