Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean

(erdosproblems.com) by mathfan | Nov 29, 2025 | 2 comments on HN