Chinese mathematician Sun Zhiwei proposes 1,000 problems to challenge AI | 中国数学家孙智伟提出1000道难题挑战AI
南京大学数学系61岁教授孙智伟认为，人工智能是数学研究的得力助手，但真正的突破仍依赖于好奇心和提出原创性问题。他今年编撰了一本超过400页的问题集，收录了他提出的1000个未解猜想，供全球研究界攻克。
孙智伟早年是传统的问题解决者，曾在希尔伯特第十问题上取得重要进展。2005年在加州大学欧文分校访学时，他接触到利用数学软件发现规律的新方法，深受启发。2009年起，他自学Mathematica程序，借助计算机验证数千个案例，这在此前靠人工计算几乎无法完成。他称那一年“突然开窍，各种奇思妙想源源不断”。他的许多问题超越了经典定理，例如在法国数学家拉格朗日有200年历史的四平方和定理基础上引入新约束，提出新猜想。他还自掏工资，为部分猜想的证明设立奖金。
面对AI浪潮，孙智伟表示数学家无需恐慌。他将AI比作“知识渊博、勤奋聪明的博士生”，在指导其攻克难题时会提供引导，甚至切断其网络搜索功能，以免AI发现问题是未解之谜而拒绝作答。他认为，数学家可以把时间解放出来，专注于AI力所不及的领域，如发展新方法、建立新理论。“如果只为名利研究数学，可能会担心被AI取代；但如果目标是追求真理，就应当欢迎AI推动数学前进。”他甚至把一些最难的问题称为“外星人猜想”——地球人肯定解不出来。他强调：“我的动机不在于你能否解决它，我只是在追求真理。”
via South China Morning Post
南京大学数学系61岁教授孙智伟认为，人工智能是数学研究的得力助手，但真正的突破仍依赖于好奇心和提出原创性问题。他今年编撰了一本超过400页的问题集，收录了他提出的1000个未解猜想，供全球研究界攻克。
孙智伟早年是传统的问题解决者，曾在希尔伯特第十问题上取得重要进展。2005年在加州大学欧文分校访学时，他接触到利用数学软件发现规律的新方法，深受启发。2009年起，他自学Mathematica程序，借助计算机验证数千个案例，这在此前靠人工计算几乎无法完成。他称那一年“突然开窍，各种奇思妙想源源不断”。他的许多问题超越了经典定理，例如在法国数学家拉格朗日有200年历史的四平方和定理基础上引入新约束，提出新猜想。他还自掏工资，为部分猜想的证明设立奖金。
面对AI浪潮，孙智伟表示数学家无需恐慌。他将AI比作“知识渊博、勤奋聪明的博士生”，在指导其攻克难题时会提供引导，甚至切断其网络搜索功能，以免AI发现问题是未解之谜而拒绝作答。他认为，数学家可以把时间解放出来，专注于AI力所不及的领域，如发展新方法、建立新理论。“如果只为名利研究数学，可能会担心被AI取代；但如果目标是追求真理，就应当欢迎AI推动数学前进。”他甚至把一些最难的问题称为“外星人猜想”——地球人肯定解不出来。他强调：“我的动机不在于你能否解决它，我只是在追求真理。”
via South China Morning Post
