数学家计算出“第9个戴德金数”
编辑: 参考消息