AI在数学领域的突破引发行业广泛争议

All the drama around AI’s takeover of mathematics

过去一年OpenAI、Anthropic等实验室在多个长期数学难题上取得突破，部分成果远超当前AI系统的能力预期，甚至已解决一道千禧年大奖难题。