Show HN: Lean 4 formal Yang-Mills ispatındaki bir hatayı bulmak için 25 LTC ödül
Matematiksel ispat doğrulama sistemi Lean 4'te, Yang-Mills teorisinin formal bir ispatında hata arayan bir geliştirici.
Hacker News paylaşan: DRLogvinovich
Hacker News paylaşım tarihi: