Post #4211580

@Changhai 面向国内的科普还是很不错的，但没提到Erdos unit distance problem很遗憾，这可以算目前AI做出的最重要的结果，没有之一。