As was well-known, and circulated a number of times even on here, Ethan Sussman has been writing up existence of YM4 publicly via Balaban’s approach, and has posted existence of QED3 and YM3 and an old preliminary outline of YM4 on his repo, working with countless community members in understanding the arguments. I kept telling him to not be too deferential and modest because he would be publicly scooped at any opportunity. Instead of contacting him to work with him, as has been suggested publicly many times, the people at OpenAI chose to do this. “Our work builds on Balaban’s approach⁠ in constructive quantum field theory. As a subproblem, this work also includes a proof of the existence of pure Yang–Mills theory, which is part of the Quantum Yang Mills Theory Clay Mathematics Institute Millennium Prize problem⁠.”