Over the past year, labs including OpenAI and Anthropic have achieved breakthroughs on long-standing mathematical problems, such as resolving a Millennium Prize problem. However, these rapid advancements have sparked backlash and friction with the mathematical community. In response, OpenAI has cons