# Show HN: Lean 4 formal Yang\-Mills ispatındaki bir hatayı bulmak için 25 LTC ödül

- HackerByte sayfası: <https://hackerbyte.net/tr/stories/matematiksel-ispat-dogrulama-sistemi-lean-4-te-yang-mills-teorisinin-formal-bir-50415474>
- Orijinal kaynak: <https://github.com/Dr-Logvinovich/round-square/blob/main/README.md>
- Hacker News tartışması: <https://news.ycombinator.com/item?id=50415474>
- Hacker News paylaşım tarihi: 2026-11-08T17:56:19.000Z

Matematiksel ispat doğrulama sistemi Lean 4'te, Yang\-Mills teorisinin formal bir ispatında hata arayan bir geliştirici.

## Yapay zekâ özeti

Bu dilde henüz özet yok.