天文學家2007年發現距離地球64億公裡的「柯伊伯帶」（Kuiper Belt）有一顆小行星2007 OR10，這顆行星擁有水、冰甚至可能含有甲烷，極具科研價值，只是它多年來都只有一個冷冰冰的代號，沒有正式名稱。小行星發現者想將命名這顆星球的殊榮與公眾分享，於是舉行公開命名活動，讓大家從3個神話人物名稱中選擇，為這顆遙遠天體取名。
三名科學家梅格·施萬布（Meg Schwamb）、米高·E·布朗（Mike Brown）和大衛·拉比諾維茨（David Rabinowitz）2007年在美國加州帕羅瑪山天文臺（Palomar Observatory）發現編號225088的矮行星。這顆遙遠的天體2009年11月被臨時編號2007 OR10，但一直沒有正式的名稱。
2007 OR10沿著海王星以外的軌跡移動，位處柯伊伯帶。它的直徑約1,247公裡，大小約為冥王星的一半，是太陽系中最大的未命名天體。
天文學家布朗2011年假設這顆小行星擁有亮白的冰層表面，所以叫它「白雪公主」。然而後來的研究發現，2007 OR10其實是柯伊伯帶中顏色最紅的天體之一。它的紅色源自冰層含有甲烷。
2007 OR10在經歷約10年的「無名」生活後，終於迎來「命名」的機會。
根據國際天文學聯合會（International Astronomical Union）的準則，名稱需要是反映2007 OR10特徵的神祇。發現者確定了3個可能的名字，都是與紅色、水、冰和雪相關的神祇。候選姓名分別是：
共工：我國上古時代的神話人物，是水神。相傳他擁有人面蛇身，頭頂紅髮，還曾與火神祝融交戰。後怒而撞塌了不周山。
霍林（Holle）：相傳是歐洲冬季女神，象徵生育、重生和女性。她擅長紡織，並與一些冬季常綠植物有關。
威利（Vili）：北歐神話中的角色。相傳他與兄弟一起打敗了霜凍巨人尤彌爾（Ymir），並用其身體創造了宇宙。