原文:700万小时搞定最小数独问题 | 科学人 | 果壳网 科技有意思