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