>>8
>>公的なレベルでは取り下げはないし、解決された前提で解説書が出てるし、

そういうことのいきさつ全体に疑義が呈されてからの
一定以上のレベルの数学者たちの目の色を見れば
現時点で
「未だに日本では解決したことになっている」
とは言えないはずだが、おかしいな。
「日本では」が言いたいことはわかるが。