突发！OpenAI又拿下一个千禧年难题：霍奇猜想

人类数学家正在经历10年前围棋圈的震撼。一个个顶级难题被攻克，七大数学猜想，看上去几天就有两个被破解。还剩下四个（人早年破了一个）。

可以肯定，人类解决数学问题的能力，已经不AI了，理论上原理已经清楚了。上万个奥数金牌实力以上的高智能，不知疲倦地暴力搜索，尝试所有方向。这就和AI下围棋的暴力搜索一样，人类绝对做不到。

但是人类理解数学、理解围棋还是更强。做题做不过，但是出题、判断题目价值、吹捧AI能力，还是得人类专家来。只不过，围棋选手学习AI下棋，人类数学家也必须与AI合作提升效率了。