All the drama around AI’s takeover of mathematics

OpenAI、Anthropic 等实验室过去一年宣称在多个长期数学难题上取得突破，包括解决了一个著名的千禧年大奖难题，进展超出研究人员对现有系统的预期。但这些成果引发学界反弹，数学家要求 OpenAI 证明未使用其研究成果，争议持续发酵。