Live data from Hacker News

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

erdosproblems.com

Post reply on HN

Print view View original

1–3 of 3 posts

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

#1

Post by mathfan » Sat, Nov 29, 2025, 11:59 PM UTC

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

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

#2

Post by areyousure » Sun, Nov 30, 2025, 1:14 AM UTC

Vlad Tenev tweeted about it here: https://x.com/vladtenev/status/1994922827208663383

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

#3

Post by ipnon » Sun, Nov 30, 2025, 6:03 AM UTC

This is amazing! We live in wonderful times!

Post reply on HN