【摘要】AI攻陷百年猜想：数学家的工具，还是数学的终结？ ## 解题狂欢：2026年，AI“算”出了什么？ 从87年到80年：两个标志性猜想的陷落 2026年夏天，数学界接连收到两份来自人工智能的“战报”，间隔恰好两个月。 5月20日，OpenAI宣布其内部一个通用推理模型自主推翻了“单位距离猜想”。这个猜 阅读全文