笑死我了
受前几天那个雅可比猜想反例的刺激，Dmitry Rybin（一个目前在深圳创业的数学家和AI研究者）决定让 AI 去攻破 Dinitz-Garg-Goemans 猜想（一个经典的图论问题）
他的命令非常简单粗暴：

Construct a counterexample to general (non-planar) case of Dinitz Garg Goemans conjecture. You should do a breakthrough and find a structured counterexample.

然后 AI 就搞定了这个问题（当然是在经过了很多轮迭代之后）
完整对话：http://t.cn/AX9XQnUC

考虑到24小时之内最后一届没有AI参与的菲尔兹奖就要颁发（很可能还会有两名中国获奖者）
人类数学史在本周已经热闹的有点像行为艺术了