太阳系可能要多出第六颗矮行星了。国际天文学联合会小行星中心27日宣布，在太阳系外围发现了一个矮行星候选体。
找到它的不是守着望远镜的人，而是一段电脑程序。
这颗候选体是什么来头？
腾讯新闻的特稿里写得很清楚：这是一颗冰质星体，位于太阳系外围。
矮行星是什么？大致就是绕着太阳转、个头又够不上大行星的天体。
特稿的说法是，如果确认，它将成为太阳系经正式认定的第六颗矮行星。
注意那个「如果」。现在它只是候选体，还不是矮行星。
程序是怎么把它筛出来的？
发现者是美国研究人员。他们用电脑程序分析智利薇拉·鲁宾天文台的观测数据，从里面找出了这颗冰质星体。
从流程看，这不是有人盯着夜空碰运气。天文台先把天空拍下来，攒成数据，程序再去数据里挑。
换句话说，这类发现更像是在数据堆里淘出来的。观测数据越多，人工越难一张张看，程序的作用就越大。
科研里让程序挑大梁，不只天文一家。数学圈就有过争论，比如AI数学成果为何被比作「有毒废料」。程序给出的结果能不能直接当结论，各行各业都在掂量。
离正式认定还差一步
公布消息的是国际天文学联合会小行星中心。它宣布的是「候选体」，不是「新矮行星」。
这意味着现在走到的是发现和登记这一步，正式认定在后面。确认要经过哪些环节，报道没有展开。
天文圈里，不少规则都由国际机构拍板。此前的闰秒2027年停插就是一例，这类事通常按流程一步步走，不会一天就定下来。
对普通人意味着什么？
短期内，你的生活不会有任何变化。
但如果这颗冰质星体被确认，课本和科普图上的矮行星名单就得加一个名字，从五颗变成六颗。
在那之前，它只是太阳系外围一个被程序圈出来的候选体。