RoundSquare.lean: Zero-Axiom Negative Resolution of the Clay Yang–Mills Problem

2026-11-05来源 Hacker News NewEnglish

Article URL: https://zenodo.org/records/23918639/files/RoundSquare.lean

Comments URL: https://news.ycombinator.com/item?id=50371383

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/roundsquare-lean-zero-axiom-negative-resolution-of-the-clay-yang-mills-problem-ab9e55.html

相关文章