スターク予想
第一位数がゼロであるという予想は、総実体のヒルベルト類体を計算するために計算機代数システムPARI/GPの最新版で用いられており、ヒルベルトの第12問題の解の一つが得られる。ヒルベルトの第12問題とは、任意の代数体上に虚数乗法によってどのように類体を構成できるか、という問題である。