Hacker News new | ask | show | jobs
Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (erdosproblems.com)
16 points by mathfan 205 days ago
2 comments
areyousure 205 days ago
Vlad Tenev tweeted about it here: https://x.com/vladtenev/status/1994922827208663383
link
ipnon 205 days ago
This is amazing! We live in wonderful times!
link