The AI takeover of mathematics has begun

There is also a broader unease about the growing intrusion of commercial interests into a field that has largely operated in the open. Even as mathematics has become more computational, many tools researchers rely on are open source and freely available. The most capable models from companies like OpenAI and Anthropic are proprietary and access is tightly controlled by the companies. While both have programs offering free access to academic researchers, that access is far from universal, and few of the researchers The Verge spoke to had been able to use the most sophisticated systems. Both Maynard and Roney-Dougal expressed hope that open-weight models could eventually close that gap, giving mathematicians access to tools without having to rely on a handful of big AI companies.