一个不懂数学的 AI 程序员解决了一个纯数学问题

贾斯汀·吉尔默 (Justin Gilmer) 是一位日夜兼程的数学家，他使用信息科学的工具解决了纯数学中的一个老问题。

来源和详细信息：
https://www.quantamagazine.org/long-out-of-math-an-ai-programmer-cracks-a-pure-math-problem-20230103/