3 ms·
Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean
- areyousure 10mo agoVlad Tenev tweeted about it here: https://x.com/vladtenev/status/1994922827208663383 https://x.com/vladtenev/status/1994922827208663383
- ipnon 10mo agoThis is amazing! We live in wonderful times!