S scmp.com Chinese mathematician Sun Zhiwei proposes 1k problems to challenge AI 3 points jonbaer 9 days ago 0 comments