在AI数学领域的一个酷里程碑 亚里士多德（一个AI数学家）刚刚解决了埃尔德什问题#124，这个问题已经悬而未决近30年 鲍里斯·阿列克谢耶夫（研究数学家）在亚里士多德的新测试版上运行了它，具备更强的推理能力和自然语言接口，并且产生了完整的正式证明。 这是AI定理证明的一个相当疯狂的时刻。