Formalization of Erdős Problems
Posted29 days ago
xenaproject.wordpress.comResearchstory
informativepositive
Debate
20/100
MathematicsFormal VerificationLean Theorem Prover
Key topics
Mathematics
Formal Verification
Lean Theorem Prover
Discussion Activity
Light discussionFirst comment
N/A
Peak period
1
Start
Avg / period
1
Key moments
- 01Story posted
Dec 5, 2025 at 10:09 AM EST
29 days ago
Step 01 - 02First comment
Dec 5, 2025 at 10:09 AM EST
0s after posting
Step 02 - 03Peak activity
1 comments in Start
Hottest window of the conversation
Step 03 - 04Latest activity
Dec 5, 2025 at 10:09 AM EST
29 days ago
Step 04
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
Discussion (1 comments)
Showing 1 comments
kevinbuzzardAuthor
29 days ago
A discussion by Boris Alexeev on recent events in AI + mathematics
View full discussion on Hacker News
ID: 46162295Type: storyLast synced: 12/5/2025, 3:20:10 PM
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.