Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof
1 comments
- Points4
- Comments0
#7Rank now –
#7Peak rank
1Days on list
179Score · 7d
Nov 8, 2026First seen
Rank · 7 days
On Hacker News
- Points
- 4
- Comments
- 0
- Submitted by
- DRLogvinovich
- Posted
- Nov 8, 2026
- Site
- github.com
Story details from Hacker News ↗ · linked article on github.com.
Trending history
Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof was first seen on Hacker News · Show HN on Nov 8, 2026. Since then it has appeared in 11 checks on 1 different day. Its best position was #7 of 30, reached on Nov 8, 21:50 UTC. It is #7 right now, climbing from #10 to #7 over the last 6 checks.
This page has little history so far; it stays out of search results until the item has trended on two days or has more context.
Rank history
Position on Hacker News · Show HN at every check (lower is better).
Last 14 days
Best rank per day (UTC).
7
Oct 26today
Metric history
points as reported by Hacker News.
Featured in
Archived daily, weekly and monthly lists that include this entry.
Show HN 1 day, best #7
Questions
Is Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof trending on Show HN right now?
Yes. As of Nov 8, 23:20 UTC it is #7, climbing from #10 to #7 over the last 6 checks.
What is the highest rank Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof reached?
#7 on Hacker News · Show HN, on Nov 8, 21:50 UTC. Trendoday checks this list every 30 minutes.
How long has Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof been trending?
It was first seen on Nov 8, 2026 and has been on the list on 1 day (11 checks) since.
How much discussion did it get on Hacker News?
4 points and 0 comments; submitted by DRLogvinovich on Nov 8, 2026.