6th-grade Peano arithmetic broke OpenAI's $100B Yang-Mills mass gap proof(github.com)
5 pointsby DRLogvinovich7 hours ago2 comments