Harmonic's Automated Theorem Prover Aristotle Solves Open Erdős Problem in Lean
Postedabout 1 month agoActiveabout 1 month ago
erdosproblems.comResearchstory
informativepositive
Debate
20/100
Automated Theorem ProvingLeanErdős Problems
Key topics
Automated Theorem Proving
Lean
Erdős Problems
Discussion Activity
Light discussionFirst comment
1h
Peak period
1
1-2h
Avg / period
1
Key moments
- 01Story posted
Nov 29, 2025 at 6:59 PM EST
about 1 month ago
Step 01 - 02First comment
Nov 29, 2025 at 8:14 PM EST
1h after posting
Step 02 - 03Peak activity
1 comments in 1-2h
Hottest window of the conversation
Step 03 - 04Latest activity
Nov 30, 2025 at 1:03 AM EST
about 1 month ago
Step 04
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
ID: 46092051Type: storyLast synced: 11/30/2025, 12:16:07 AM
Want the full context?
Jump to the original sources
Read the primary article or dive into the live Hacker News thread when you're ready.
Discussion hasn't started yet.