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

摘要： AI 70年：真正改变命运的只有三个瞬间 1956年：AI的‘出生证明’——但生下来就差点被饿死 你可能觉得AI是这几年突然冒出来的。但AI的“出生证明”早在1956年就开出来了。那年夏天，美国达特茅斯学院的一间会议室里，几个年轻人——约翰·麦卡锡、马文·明斯基、克劳德·香农——凑在一起，给一个还没 阅读全文