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