Alex Kontorovich

Alex Kontorovich is a Rutgers University mathematician whose research focuses on number theory. His public work also includes discussions of the Riemann hypothesis and formal proof tools such as Lean.