Tag
Postdocs at MIT, Harvard, and Oxford claim substantial progress toward the Yang-Mills existence problem using AI-assisted (Claude and ChatGPT) human-guided research on a ~$500 budget, building on Bałaban's work, and are publicizing it via GitHub as an experiment in community-generated mathematics.
The user has renamed a GitHub repository to HyperQwen to focus on optimizing Qwen model inference speeds on local hardware and is seeking testers with 4090s and 5090s GPUs for both Windows and Linux.