at Alignerr
Get paid to push the frontier of formal mathematics — write Lean proofs that challenge the limits of AI. Ideal for mathematicians who love precision.