News

All the drama around AI’s takeover of mathematics

All the drama around AI’s takeover of mathematics

This past year, OpenAI, Anthropic, and other labs have announced breakthroughs on numerous long-standing mathematical problems, in some cases pushing well beyond what researchers expected current...