個人的に認めてない数学者なんかいて当たり前じゃん
公的なレベルでは取り下げはないし、解決された前提で解説書が出てるし、
未解決だとあからさまに批判が出ることはない