Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proofgithub.com·4 pts·DRLogvinovich·1
6th-grade Peano arithmetic broke OpenAI's $100B Yang-Mills mass gap proofgithub.com·6 pts·DRLogvinovich·0
Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"zenodo.org·4 pts·DRLogvinovich·0
RoundSquare.lean: Zero-Axiom Negative Resolution of the Clay Yang–Mills Problemzenodo.org·2 pts·DRLogvinovich·0
Do Z=119 and 120 decay bottlenecks mirror relativistic 6d10 subshell geometry?physics.stackexchange.com·1 pts·DRLogvinovich·4
Why do NOIRLab, Gaia DR3, and AllWISE pipelines simultaneously fail at one node?astronomy.stackexchange.com·1 pts·DRLogvinovich·0
Astronomical pipelines return trillion-level error rates at coordinate nodeastronomy.stackexchange.com·4 pts·DRLogvinovich·1