波恩大学的菲尔兹奖得主 Peter Scholze 认为 AI 解决困难的数学问题只是作为基准测试，是某种公关噱头。