同一篇博文里，他还列了一份清单，过去一个月，被AI证明或协助证明的长期开放问题：如今，AI实验室里的数学突破开始被关起门来，这无异于一次倒退。 以前，<div id="zqzx8.org5582&qu...
他被告知，OpenAI至少从7月的国际数学家大会（ICM）起，就压着「数百个」数学证明没有发布。如今，AI实验室里的数学突破开始被关起门来，这无异于一次倒退。 以前，学术界比的是谁先证明；以后可能还得加一…...
