发生了什么
Devin 公布 三个数学难题破解结果(开放约40-20年)
为什么值得关注
值得点开原文查看具体方法和推理过程，对自动数学推理研究有参考价值。
信息来源
以下内容来自公开来源，可打开原文继续核验。
01
Devin 破解三个未解决数学猜想
Devin（AI编程助手）在一天内破解三个未解决数学猜想：驳斥了开放约40年的Graffiti猜想154，证明了同样开放约40年的Graffiti猜想39和40，并驳斥了开放约20年的Brandt's Regular Supergraph Problem。
打开原始来源 ↗