fp.
newest
Open in hackernews
Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean
https://www.erdosproblems.com/forum/thread/124#post-1892
7
•
mathfan
•
29m ago