Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean
erdosproblems.com
16 points
mathfan
6 months ago
2 comments
Loading...
Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean | Heykuki News