What OpenAI’s latest controversy tells us about the future of math

Automated excerpt

AI companies are making impressive mathematical strides. Today, the company announced that its agents have solved one of the Millennium Prize Problems, some of the most important open problems in mathematics. The problem that OpenAI claims to have solved is known as the Navier–Stokes existence and smoothness problem. He and Alpöge had worked on the problem for almost a year, using publicly available models from both OpenAI and Anthropic. The clear implication of the document is that OpenAI’s models somehow made use of Buckmaster and Alpöge’s work.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.