这次做成了什么
证伪一个猜想和证明一个定理是两种活儿。找反例往往意味着在巨大的构造空间里，搜出一个满足苛刻条件的对象，这恰好对 AI 的胃口——它能不知疲倦地去试那些人类直觉不会碰的怪异构造。据介绍，模型给出的反例经过人类数学家核验，确实成立。猜想被推翻不算坏事，错误的猜想早点死掉，省下的是整个领域的时间。
放到这两年的脉络里
过去两年，AI 在数学上的真实战绩主要集中在这类「搜索型」贡献：组合构造、反例、奥赛题。它们是真贡献，但跟「AI 做数学研究」的宣传之间还隔着距离——提出值得研究的问题、建立新的理论框架，这些仍是人类的领地。比较合理的图景是：数学家多了一件趁手的探索工具，像当年的计算机辅助证明那样，先引发不适，再变成日常。
via: Hacker News