# Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang\-Mills proof

- HackerByte page: <https://hackerbyte.net/en/stories/a-developer-looking-for-a-bug-in-a-formal-proof-of-yang-mills-theory-within-the-50415474>
- Original source: <https://github.com/Dr-Logvinovich/round-square/blob/main/README.md>
- Hacker News discussion: <https://news.ycombinator.com/item?id=50415474>
- Submitted to Hacker News: 2026-11-08T17:56:19.000Z

A developer looking for a bug in a formal proof of Yang\-Mills theory within the Lean 4 mathematical proof verification system.

## AI-generated summary

No summary is available in this language yet.