Chinese mathematician Sun Zhiwei proposes 1k problems to challenge AIscmp.com3 points·jonbaer··0 commentsOpen articleSaveView on HN