Chinese mathematician Sun Zhiwei proposes 1k problems to challenge AI

(scmp.com) by jonbaer | Oct 23, 2026 | 0 comments on HN