Independent partial Yang-Mills results by postdocs at MIT Harvard/Oxford

Two mathematician/physicist friends of mine have worked on Yang Mills for the last few months and made substantial progress. Due to OpenAI's claim, they have decided to publicize their results. They have a vision of community-generated math that makes a lot of sense to me in post-AI mathematics. I consider that part just as interesting as the result itself so I am helping share their claims around. They worked with small budget (~$500) and made substantial progress toward YM existence, building on Bałaban as I understand it, just as OpenAI did in their statement. Their work is human-guided with AI doing substantial specified work. Both Claude and ChatGPT were substantial contributors. This github has their work in it, with timestamped PRs starting from a few days ago when they decided to release. They have a vision of a community-generated mathematics, wherein the open internet can contribute towards a full solution using any tools at their disposal, starting for now through this github. It's a new modality of math that to me seems positive/to look forward to. Nobody loses substantial time from being scooped by an unknown competitor because progress is visible live, with more hones