6th-grade Peano arithmetic broke OpenAI's $100B Yang-Mills mass gap proofgithub.com6 points·DRLogvinovich··0 commentsOpen articleSaveView on HN