Sun Zhiwei’s 1,000‑Problem Challenge: Cash Rewards, AI, and ‘Alien’ ConjecturesHighlightSettingsFavorite