Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"
0 comments
- Points2
- Comments0
–Rank now
#14Peak rank
1Days on list
112Score · 7d
Nov 5, 2026First seen
Rank · 7 days
On Hacker News
On October 26, OpenAI announced a claimed "bare existence" proof in Balaban's RG programme on pure R^4—but notably stopped right before claiming the mass gap Δ > 0. It turns out there is a rigorous mathematical reason why no compute cluster can bridge that gap on flat infinite space. I wrote a 2,576-line self-contained Lean 4 script (`RoundSquare.lean`) that formally proves a negative-result resolution to the Clay Millennium Yang-Mills problem on pure R^4. In the tradition of Gödel and Turing,…
- Points
- 2
- Comments
- 0
- Submitted by
- DRLogvinovich
- Posted
- Nov 4, 2026
- Site
- zenodo.org
Story details from Hacker News ↗ · linked article on zenodo.org.
Trending history
Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square" was first seen on Hacker News · Show HN on Nov 5, 2026. Since then it has appeared in 11 checks on 1 different day. Its best position was #14 of 30, reached on Nov 5, 03:30 UTC. It dropped off the list after Nov 5, 08:30 UTC.
Rank history
Position on Hacker News · Show HN at every check (lower is better).
Last 14 days
Best rank per day (UTC).
14
Oct 26today
Metric history
Platform metric as reported by Hacker News.
Featured in
Archived daily, weekly and monthly lists that include this entry.
Show HN 1 day, best #14
Questions
Is Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square" trending on Show HN right now?
Not at the moment. It was last on the list on Nov 5, 08:30 UTC, after 1 day of trending.
What is the highest rank Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square" reached?
#14 on Hacker News · Show HN, on Nov 5, 03:30 UTC. Trendoday checks this list every 30 minutes.
How long has Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square" been trending?
It was first seen on Nov 5, 2026 and has been on the list on 1 day (11 checks) since.
How much discussion did it get on Hacker News?
2 points and 0 comments; submitted by DRLogvinovich on Nov 4, 2026.