120年以上未解決だった“古典パズル”の証明に成功　日本人研究者が成果　「解が存在しない」を実証（関連情報）