来自 Carina Hong（@CarinaLHong）的推文线程

AxiomProver 解决了 Erdős 问题 #481 - 耗时 5 小时 #124 简化版耗时超过 24 小时（哎），而且不够简洁。

我们公司成立才四个半月，还有很长的路要走。这就像是在解决埃尔德什难题——数学版的宝可梦狩猎。 真正的数学是对所有数学分支的深刻发现——尤其是那些拥有深厚文献的分支。前进！