菲尔兹奖得主需要先确认运行环境、数据来源和限制条件，再看具体配置是否匹配。

给AI一道数学猜想，它先琢磨的居然是：怎么把它推翻找反例；这番听着多少有点数学界反骨的判断，正出自1998年菲尔兹奖得主、英国数学家Timothy Gowers；最近Gowers老哥闲来无事把这几个月AI最轰动的数学战绩往桌上一摊，发现了一件画风非常统一的事儿——雅可比猜想，找反例。非sofic群问题，构造一个过去没人定位到的例子；多色Ramsey数问题，核心依旧是构造出满足要求的新对象；人类数学家：这个结论到底为什么成立。AI：先等会儿，你这结论……真成立吗；（一身反骨.jpg）所以，问题来了；为啥AI们一碰上数学猜想，就这么爱往反例堆里钻啊我说。