候选标题：
- 悬念型：夜空中那颗“司艺星”，真登记在册吗
- 画面感型：给一颗石头办户口：司艺星的命名路
- 提问型：司艺星：天上真有这颗星吗
深夜十一点，你和朋友在天台上。他指着东南方一颗并不起眼的亮点说：“那是司艺星。”你眯眼看半天，只看到一个点。你没法反驳，也没法确认：肉眼分辨不出名字，而名字这件事，从来不在天上。
好消息是，一颗星有没有正式名字，十分钟内就能查清。前提是你知道该翻哪本“户口簿”。
名字不在天上，在公报里
一句话定义：小行星的正式名称，由国际天文学联合会（IAU，全球天文学界的行业组织）下设的专项工作组审定，并以公报形式发布；没进公报的名字，天文学界不认。
这有点像小区门牌。你可以把自家那栋楼叫“猫猫楼”，邻居也懂，但快递只认门牌号。网上的名字、小说里的名字、纪念活动自封的名字，都属于“猫猫楼”级别——亲切，但不进档案。
先有编号，才有名字
一颗小行星要拿到名字，得先拿到“身份证”。天文学家发现新目标后，先给它一个临时编号，比如 2024 AB12。这更像出生证明上的流水号，只说明它是某段时间内被记录的第几个。之后要经过多次观测、算出可靠轨道，才会被授予永久编号，一个纯数字，比如 8117。
名字排在最后。有了永久编号，发现者才有资格向工作组提议命名，提议要经审议、公示，最后印进公报。
门槛比你想的高。目前拿到永久编号的小行星已超过 60 万颗（估计值，且仍在增加），而真正拥有名字的约两万四千个。差不多每 25 颗有编号的小行星里，只有一颗叫得出名字。剩下的都是编号，安静地躺在数据库里。
“司艺星”要过哪几道关
所以判断“司艺星”是不是真的，你不需要望远镜，只需要三次检索：在小行星中心（MPC，专门收集小行星观测数据的机构）的公开数据库里按名称查；在 IAU 命名工作组的公报存档里按年份翻；看有没有公开的命名说明——给谁命名、为什么。
三种结果对应三种身份。它可能确实登记在册，那你朋友说对了；也可能来自误传，比如某个网名、某部虚构作品里的天体、某场民间纪念活动自封的称呼；还有一种是名字已经提交、但尚未走完公布流程，这类情况在圈内确实存在，只是外界看不到。
需要说明的是，截至目前，仅凭网络流传的说法，无法判定“司艺星”属于哪一类，目前尚无定论。命名的权威信息只认一个来源：正式公报。
名字不拍卖，也不留给自己
命名规则里有一条挺有意思：发现者可以提议名字，但一般不能拿自己的名字去命名——这颗石头不能变成自我纪念品。名字也不能买卖，不接受商业冠名。长度上限约 16 个字符，要能读出口，不能带冒犯性，政治、军事人物通常不在考虑范围内。
所以你看到的那些“某某星”，多半是科学家、作家、艺术家、地名或机构的纪念。它们不是荣誉拍卖的标的，而是一份需要多名同行点头的公共记录。
回到那个夜晚
你朋友指的那点光，也许真有个体面的名字，也许只是他随口给的一枚昵称。但你现在知道了：抬头看是浪漫，低头查才是证据，而证据躺在一个人人都能访问的数据库里。
如果有一天，一颗刚拿到编号的小行星的命名权落到你手上，你会写下谁的名字——一个让你愿意抬头的人，还是一句只有你自己懂的暗号？
延伸阅读
- 卡尔·萨根《宇宙》（书籍）
- 纪录片《宇宙时空之旅》（Cosmos: A Spacetime Odyssey）
- 国际天文学联合会小行星中心官网 minorplanetcenter.net，可检索小行星编号与名称