解明されてるけど工学者と数学者で「解明された」の認識が違うせいで「解明されてない」って話が先走ってるとかなんとか