E erdosproblems.com Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean 16 points mathfan 11 months ago 2 comments
