中国数学家孙志伟提出1000道难题挑战AI，Reddit网友调侃其曾因Catalan常数证明出错被OpenAI纠错，也有人认为AI只会基于人类已有成果解题，缺乏提出新问题的能力，双方观点交锋激烈。