从现有信息看，针对AI公司扎堆攻克数学猜想的讨论，有观点认为下一个被AI重点突破