RecodeX 重构消息，7月下旬在费城举行的国际数学家大会上，陶哲轩描述了一种前所未有的情况：一项重要数学结果已被证明并通过验证，却没有人能解释该证明为何成立，也无法将其清晰地传授给其他数学家，使其得以理解、复用与传承。这反映了AI在数学证明领域带来的新挑战。