Harmonic's automated theorem prover Aristotle solves open Erdős problem in Leanerdosproblems.com16 pointsmathfan7 months ago