これだけ大掛かりな舞台装置を作ってABS予想の解決だけでは　なんだかな〜という　印象だろ。
既存の証明済みの定理を（例え初的な定理であっても）、新たな視点で次々と簡単に再証明できたらその有用性も証明できるのに。
数学の見方を変えることもできるのにな。