AIがリーマン予想などヒルベルトの23の問題クラスの問題を人間のお膳立て無しで解いて（数学の書物や論文を読む事は認めるものとする）、
なおかつその解法を人間に分かりやすく説明できるレベルにまで達したら、
それを真の知性を有する強いAIと呼んで良いだろうか？