中国数学家孙志伟提出 1,000 个问题挑战 AI
Chinese mathematician Sun Zhiwei proposes 1,000 problems to challenge AI
南京大学数学系教授孙志伟提出了 1,000 多个数论问题，供全球研究者探索，也以此挑战 AI。在他看来，数学进步既依赖直觉发现新问题，也依赖逻辑解决问题；若一个学科没有猜想，研究可能陷入停滞。
In an age of AI-induced answers to complex mathematical problems, Chinese mathematician Sun Zhiwei maintains that curiosity and asking good questions are more important then ever.
Over a career spent probing the edges of number theory, Sun, a 61-year-old professor at Nanjing University’s department of mathematics, has built a vast landscape of problems – more than 1,000 and counting – for the global research community to tackle.
While traditional mathematical training emphasises mastering existing formulas and proving established theorems, Sun said true progress relied on using intuition to discover new questions and using logic to solve them.
“If a discipline has no conjectures, people no longer know what to do and the field approaches a standstill,” Sun told China Science Daily.
来源：南华早报 · scmp.com