紹介した論文

1. 0:20 1. Prime-Exponent Transition Geometry and Divisor Barriers Between Consecutive Highly Composite Numbers 2608.17045v1
   スクリプトを表示

   1本目は、マルコ・マントヴァネッリさんによる、「Prime-Exponent Transition Geometry and Divisor Barriers Between Consecutive Highly Composite Numbers」(連続する高合成数間の素数指数遷移幾何学と約数障壁)、です。 この論文では、約数の個数がそれより小さい数よりも常に多いという、記録的な数である高合成数に注目しています。具体的には、連続する二つの高合成数の間で、素数の指数の組み合わせをどう変化させれば、途中で約数の個数が極端に減るのを避けられるかという問題に取り組んでいます。 単に共通部分だけを見るのではなく、素数の層を消したり足したりするスケジュールを最適化して、道筋を探るというアプローチが非常にユニークです。計算機を使った検証の結果、どんなに効率的に遷移しても、約数の個数が元の記録の半分まで落ち込んでしまうケースがあることが分かりました。特に、指数の１だった素数が消えるときにちょうど半分になるという結果は、非常にスッキリしていて気持ちが良いですね。 さらに、二つの高合成数の間には、共通の指数の範囲内に他の整数が存在しないという、トンネルのような空白地帯があることを証明しています。最終的に、どのような連続する高合成数であっても、約数の保持率は半分を下回らないという大胆な予想を立てて締めくくっています。
2. 2:01 2. Algebraic Lattices Arising from Congruence Submodules in Subfields of $p$-th Cyclotomic Fields 2608.17056v1
   スクリプトを表示

   2本目は、トラジャノ・ピレス・ダ・ノブレガ・ネトさん、アントニオ・アパレシード・デ・アンドラーデさん、ジェフェルソン・ルイス・ロシャ・バストスさん、ロブソン・リカルド・デ・アラウジョさん、ジョゼ・カルメロ・インテルランドさんによる、「Algebraic Lattices Arising from Congruence Submodules in Subfields of p-th Cyclotomic Fields」(p次円分体の部分体における合同部分加群から生じる代数的格子)です。 この論文では、ユークリッド空間に同じ大きさの球をいかに密に詰め込むかという、古典的な球充填問題に取り組んでいます。実はこれ、単なるパズルではなくて、通信における信号設計などの実用的な場面でとても重要なんです。 著者たちは、素数p次円分体の部分体にある代数的整数の環を用いて、新しい代数的格子の構成方法を提案しました。具体的には、p個の要素を持つ体上の有限ベクトル空間における直交関係に基づいて、二つのパラメータを持つ部分加群の族を定義しています。ここで、数体のトレース形式や、pを法とする原始根を巧みに使って格子の幾何学的性質を分析している点が非常に緻密です。 特に注目すべきは、奇数次元において中心密度の下限を閉じた形で導き出したことです。この手法を使うと、二次元や三次元で最密な格子が再現でき、五次元でも既知の最高密度を達成できることが分かりました。さらに、ディリクレの算術級数定理を用いることで、任意の奇数次元においてこのような格子が無限に存在することを証明しています。理論的な裏付けから具体的な最適例まで一気に導き出した、非常に説得力のある研究です。
3. 4:02 3. Mild p-Class Tower Groups of Imaginary Quadratic Fields 2608.17072v1
   スクリプトを表示

   3本目は、デニス・フォーゲルさんによる、「Mild p-Class Tower Groups of Imaginary Quadratic Fields」(虚二次数体の穏やかなピー類塔群)、です。 この論文では、虚二次数体における最大非分枝プロピー拡大のガロア群という、かなり手強い対象を研究しています。特に、この群のコホモロジー次元を決定するという、長年の難問に挑んでいます。 著者は、ピー類ランクが3であるケースに注目しました。ここで使われているのが、トリプル・マッセイ積という高度な道具です。これを計算可能にするために、二次ノルム演算子という新しい手法を導入したのが実に見事です。少数の非分枝巡回拡大から情報を復元して、群の構造を明らかにしようとしています。 さらに、ノルム退化スキームという概念を用いて、群が穏やかであるための判定基準を導き出しました。この穏やかという性質が証明されれば、コホモロジー次元が2であることが分かります。 実際に、素数3、5、7の場合にこの理論を適用したところ、多くの数体で穏やかであることが証明されました。特に、素数7ではすべてのケースで証明できたとのことです。具体的に無限ピー類塔の構造を突き止めた例を提示した点は、数論における大きな前進だと言えますね。
4. 5:44 4. On Buzzard's Theoren 2608.17166v1
   スクリプトを表示

   4本目は、ズビグニエフ・ジェロネクさん、グスタボ・メナニさん、マリア・ミハルスカさんによる、「On Buzzard's Theorem」(バザードの定理について)、です。 この論文では、無限体であれば標数に関わらず、バザードの定理が成り立つことを一般的に証明しています。具体的に何をしようとしているかというと、ある点たちの集合を別の集合へ移すと同時に、その点における微分まで自由に指定できるような多項式自己同型写像を作りたいという問題に取り組んでいます。 これまでは複素数体などの特定の条件下で、解析的な手法を使って証明されてきました。ですが、今回の研究では純粋に代数的な手法のみを用いて、あらゆる無限体へと拡張した点が素晴らしいです。 手法としては、タム自己同型や中国剰余定理をうまく活用しています。まず点たちが一般の位置にあるように調整し、段階的に写像を構築していきます。点から点への対応をさせた後、点自体は動かさずにヤコビ行列だけを調整して、指定した線形同型写像に一致させるという流れです。 最終的に、ヤコビ行列が１であるような多項式自己同型写像が存在することを証明しました。解析的な道具に頼らず、代数的な性質だけでこれを導き出したところに、数学的な執念のようなものを感じますね。この結果を使えば、滑らかなアフィン多様体を、微分を指定した状態でアフィン空間に閉埋め込みさせることもできるそうです。
5. 7:35 5. Shifted second moment of Gaussian Hecke $L$-functions $L(s,\lambda^k)$ 2608.17199v1
   スクリプトを表示

   5本目は、シンハン・ジさんによる、「Shifted second moment of Gaussian Hecke L-functions L(s, ラムダのk乗)」(ガウス・ヘッケL関数のシフト付き二次モーメント)、です。 この論文では、ガウス角ヘッケL関数という特定のL関数について、そのシフト付き二次モーメントの漸近公式を導き出しています。これまでにも似たような研究はありましたが、純粋に角的な側面から見て、誤差項を十分に小さく抑えた証明はなされていませんでした。そこで著者は、L関数の比予想という理論的な予測が本当に正しいのかを検証しようとしたわけです。 手法がとても凝っていて、対称的な近似関数方程式を使って、モーメントをガウス整数のペアに関する重み付き和に変換しています。さらに、ポアソン和公式や、楕円点における不完全ポアンカレ級数といった高度な道具を駆使して、スペクトル分解を行っています。 結果として、比予想が予測していた通り、4つの主要項からなる公式が得られました。特に、カスプ形式からの寄与が誤差項に吸収されることを示した点は、非常に鮮やかな処理だと思います。これにより、未証明の仮説に頼ることなく、理論的な予測が正しいことが証明されました。
6. 9:08 6. A central limit theorem for prime geodesics on random surfaces of large genus 2608.17265v1
   スクリプトを表示

   6本目は、スンカイ・レウンさんによる、「A central limit theorem for prime geodesics on random surfaces of large genus」(大きな種数を持つランダムな曲面上の素測地線に関する中心極限定理)、です。 この研究は、数論における素数の分布という、数学者がずっと惹かれてきたテーマを幾何学の世界で再現しようとする試みです。具体的には、種数が非常に大きいランダムな閉双曲曲面において、特定の長さの範囲にある素測地線を数え上げたとき、その分布がどうなるかを探っています。 手法としては、ヴェイユ・ピーターソン確率測度を用いてモジュライ空間から曲面をサンプリングし、ミルザハニとペトリによる点過程を用いて近似的に解析しています。その結果、ある条件下でこのカウントがガウス分布に収束するという中心極限定理を証明しました。 面白いのが分散の扱いです。素数の場合と比べて、測地線の場合は分散に２という係数がかかります。これは、素数にはない方向という概念が、閉測地線には２方向あるからだそうです。数論的な現象が、幾何学的な構造の違いによって絶妙に変化して現れる点に、この研究ならではの醍醐味を感じますね。数論と幾何学の橋渡しを厳密な証明で成し遂げた、非常にエキサイティングな成果です。
7. 10:48 7. Ribet bimodules and principally polarized superspecial abelian varieties with quaternion action 2608.17345v1
   スクリプトを表示

   7本目は、ジャンウェイ・シュエさんとシャンニング・ヤンさんによる、「Ribet bimodules and principally polarized superspecial abelian varieties with quaternion action」(リベ bimodulesとクォータニオン作用を持つ主偏極超特殊アーベル多様体)、です。 この論文では、超特殊アーベル曲面に associated した bimodule の分類に関するリベさんの研究をさらに発展させています。これまで研究では、ある種の制約を設けた admissible な仮定が必要でしたが、今回はその制限を完全に取り払って、リベ双格子を完全に分類することに挑戦しています。 アプローチが非常に緻密で、まずは局所的にクォータニオン除代数の極大順序上の双格子を分類し、それをグローバルな結果へと繋げています。特に、分解不可能な双格子がちょうど4種類あることを突き止め、4つの非負整数の組という構造不変量で一意に決定できることを証明しました。 さらに、これらの多様体が主偏極を持つための必要十分条件を、エルミート形式の観点から明らかにしています。ベースとなる体の狭類数が1である場合、同じ構造不変量を持つ複数の同型類の中で、たった一つだけが主偏極を持つという結果は、非常に鮮やかで驚かされます。構造不変量という局所的なデータから、偏極という大局的な性質をここまで明確に制御できる点に、強い説得力を感じます。
8. 12:29 8. Alternating generalizations of Mizuno's product formula via modified gamma functions 2608.17545v1
   スクリプトを表示

   8本目は、スー・フーさんとミン・スー・キムさんによる、「Alternating generalizations of Mizuno's product formula via modified gamma functions」(修正ガンマ関数による水野の積公式の交代級数的一般化)、です。 この論文では、ゼータ正則化積の研究で有名な水野の積公式を、交代級数のような形に拡張することに挑戦しています。普通、フルヴィッツのゼータ関数は１に極を持ってしまいますが、交代型のフルヴィッツ・ゼータ関数は複素平面全体で正則なので、解析的な構造がとても安定しているんですよね。ここに着目して、著者たちはオイラーのガンマ関数に対応する修正ガンマ関数という新しい概念を導入しました。 一番の成果は、交代型の水野公式を証明したことです。これにより、ある種の無限積が修正ガンマ関数と修正オイラー定数の積に分解されることが分かりました。この結果を使うと、ラーチの公式の交代版や、有名なウォリスの積の新しい導出までできてしまうので、汎用性の高さに驚かされます。さらに、バーンズの多重ガンマ関数を使った多重交代ガンマ関数の解析や、シンタニの二重正弦関数の交代版まで構築しています。特に、あるパラメータが有理数か無理数かによって、値が代数的か超越的かという明確な二分法を示した点は、数論的な鋭さを感じますね。
9. 14:13 9. Infinitely many primes with a fixed Frobenius field for an elliptic curve over $\mathbb{Q}$ 2608.17639v1
   スクリプトを表示

   9本目は、ティアン・ワンさんによる、「Infinitely many primes with a fixed Frobenius field for an elliptic curve over Q」(有理数体上の楕円曲線においてフロベニウス体が固定された無限個の素数)、です。 この論文では、有理数体上の楕円曲線において、フロベニウス体が特定の虚二次体になるような素数が無限に存在するかという問題に取り組んでいます。もともと、どんな楕円曲線でも超特異素数が無限にあることは分かっていましたが、この論文ではさらに踏み込んで、特定の体になるケースを追い求めています。 アプローチがとても力強いですね。デューリングの複素乗法論や、特異モジュライ、ヒルベルト類多項式といった道具を駆使し、さらにモジュラー曲線上の算術的な交点理論まで盛り込んでいます。 その結果、複素乗法を持たない楕円曲線の族について、フロベニウス体が指定した虚二次体となる素数が無限に存在することを、条件なしで初めて証明しました。特定の数え上げ関数に対して定量的な下限を示しただけでなく、上限についても新しい評価を導き出しています。 例えば、特定のラベルを持つ楕円曲線を奇数の平方因子でひねったものなどがこの条件を満たすそうです。理論的な枠組みから具体的な例までしっかり提示されており、数論の深い洞察が詰まった研究ですね。
10. 15:52 10. On the p-adic Wirsing problem 2608.17686v1
    スクリプトを表示

    10本目は、アヌップ・ビー・ディクシットさんによる、「On the p-adic Wirsing problem」(ピー進ウィルシン問題について)、です。この論文では、数論におけるディオファントス近似という、ある数を代数的な数でどれだけ精度よく近似できるかという問題に取り組んでいます。もともと実数の世界では、ポエルスさんという方が画期的な下限値を導き出しましたが、ピー進数という特殊な数域では、これまで同じレベルの進展がありませんでした。そこで著者は、ポエルスさんの手法をピー進数に応用しようと試みました。ただ、ピー進数の世界には、実数で非常に便利なミンコフスキーの凸体定理のような道具がないため、そのままでは太刀打ちできません。ここが非常に巧妙なのですが、著者は合同格子という新しい概念を導入することで、ピー進数の条件を普通の格子の条件に翻訳し、古典的な数の幾何学を使えるようにしました。このアイデアのおかげで、以前のモリソンさんやトゥリエさんの結果を超える、より精度の高い近似指数を証明することに成功しています。実数の場合よりわずかに弱い結果になったそうですが、ピー進数という難しい環境でここまで迫ったのは、本当に粘り強いアプローチだと思います。
11. 17:23 11. On the integral $2$-adic Tate module of elliptic curves 2608.17725v1
    スクリプトを表示

    11本目は、エドウィナ・エイルワードさんによる、「On the integral 2-adic Tate module of elliptic curves」(楕円曲線の整数2進テイト加群について)、です。 この論文では、楕円曲線の2進テイト加群という、かなり深い構造を決定するための条件について研究しています。通常、3次方程式の根に対するガロア作用が分かれば2次ねじれ点については分かりますが、それだけではテイト加群全体を特定するには足りません。そこで著者は、あと何が分かれば十分なのかという最小限の情報を探りました。 具体的には、奇標数の完備離散付値体上の楕円曲線に注目し、2のべき乗ねじれ点に対する同型写像を次々と積み上げていくという、再帰的なアプローチをとっています。点の中点を求める計算式を駆使して、2次から4次、8次へと、階段を登るようにしてテイト加群全体へと持ち上げる手法には、執念のようなものを感じますね。 結果として、先頭係数の平方類が一致し、3次方程式の根の間にガロア同変な全単射があり、さらに根の差が十分に近いという3つの条件が揃えば、テイト加群が同型になることを証明しました。さらに、この結果はネロンモデルの成分群の2次部分にも及び、野生的な退化がある場合でも成り立つという点が非常に強力です。 また、係数がどれくらい近ければ良いのかという具体的な値を提示しており、これまでの抽象的な議論を実用的なレベルまで引き下げた点が素晴らしいですね。今後は、マンフォード表現を用いた高種数超楕円曲線のヤコビ多様体への応用も期待されています。
12. 19:23 12. Principal nonsingularity of the Fourier matrices of orders \(70\) and \(143\) 2608.17746v1
    スクリプトを表示

    12本目は、ジアン・グさん、リイー・ジョウさん、ユフ・ワンさんによる、「Principal nonsingularity of the Fourier matrices of orders 70 and 143」(次数70および143のフーリエ行列の主非特異性)、です。 この論文では、次数が70と143であるフーリエ行列について、そのすべての主小行列式がゼロにならないことを、コンピュータを用いて証明しています。もともと、平方因子を持たない数であれば、対応するフーリエ行列の主小行列式はすべてゼロにならないという予想があるのですが、これが難しい問題になっています。素数の場合はすでに証明されていますが、合成数の場合は非常に複雑で、特に70と143という数は、未解決ケースの中で最も小さい数として注目されていました。 そこで著者たちは、複素数での問題を有限体の問題に置き換えるリフティング定理という手法を使い、計算量を大幅に減らすことに成功しました。具体的には、次数70の場合は標数7で、次数143の場合は標数13でチェックを行うという戦略です。さらに、除算を使わない正確な計算を行い、自作のパイソンプログラムで検証するという徹底したアプローチをとっています。地道な計算の積み重ねで、長年の懸案だった特定のケースを完全に解決したという達成感が伝わってきますね。この結果によって、平方因子を持たない数に関する大きな予想の正しさが、より強く支持されることになりました。
13. 21:14 13. Intersecting families and nonvanishing multivariate polynomials over finite fields 2608.17785v1
    スクリプトを表示

    13本目は、シャミル・アスガリさん、ベンツェ・チャイボクさん、チ・ホイ・イップさんによる、「Intersecting families and nonvanishing multivariate polynomials over finite fields」(有限体上の交差族と消えない多変数多項式)、です。 この論文では、有限体上の多変数多項式の集まりについて、エルデシュ・コ・ラドという組み合わせ論の有名な性質が成り立つかを詳しく調べています。具体的には、複数の多項式たちが共通の点を持つかという交差性に注目しています。すべての多項式がある一点で同じ値を持つ集まりをスターと呼びますが、最大サイズの交差族が必ずこのスターになるかという問題に挑んでいます。 結果がとても興味深いですね。次数が1の場合はほとんど成り立ちませんが、次数が2以上のとき、体の標数が奇数であれば常にこの性質が成り立ちます。一方で標数が偶数のときは、変数の数と次数のバランスによって結果が変わるという、絶妙な境界線が見つかりました。 また、関数解析学の定理の有限体版とも言える、ゼロを検出する線形汎関数の特徴付けなど、副次的な成果も盛り込まれています。単なる組み合わせ論に留まらず、多項式の空間全体の構造を鮮やかに描き出している点に、研究者の強いこだわりを感じます。
14. 22:51 14. Squarefree polynomials with missing digits 2608.17892v1
    スクリプトを表示

    14本目は、ナオミ・バズロフさんによる、「Squarefree polynomials with missing digits」(欠損桁を持つ平方自由多項式)、です。 この論文では、有限体上の多項式において、係数に使える値を制限したときに、平方自由な多項式がどれくらい存在するかという問題を扱っています。もともと整数において、特定の桁の数字を禁止したときに平方自由な数がどれだけあるかという難しい予想があったのですが、それを関数体の世界で解決したというお話です。 著者は、係数を確率変数として扱うという面白いアプローチを採っています。小さい素因数はブルンの篩で処理し、大きい素因数はフーリエ解析を用いて確率的な上界を出すという、非常に巧妙な組み合わせ技を使っていますね。特に、係数がゼロか一しか使えないような厳しい制限があっても、ある一定の密度で平方自由な多項式が現れることを証明しました。 また、体の大きさと多項式の次数の両方を無限に飛ばしたときの挙動まで解析しており、制限があっても平方自由という性質が意外と頑健に維持されることを示しています。単に計算して終わりではなく、線形構造を避ければ密度が保たれるという一般論まで導き出した点に、鋭い洞察力を感じます。
15. 24:26 15. Products of point counts of higher genus curves over finite fields 2608.18014v1
    スクリプトを表示

    15本目は、アリーナ・ブクルさん、キラン・ケドライアさん、アーシェイ・シェスさんによる、「Products of point counts of higher genus curves over finite fields」(有限体上の高種数曲線の点数の積)、です。 この論文では、有名なバーチ・スウィンナートンダイヤー予想を、より広い世界へ広げようとしています。もともとの予想は楕円曲線に関するものでしたが、彼らはそれを種数が2以上の滑らかな射影曲線にまで拡張し、局所的な情報から大域的な性質を導き出す原理を追求しました。 具体的には、素数の上限を増やしたときに、点数の積がどのような挙動を示すかという漸近的な振る舞いを調べています。ここで面白いのが、導き出された新しい予想の内容です。楕円曲線の場合はモルデル・ヴェイユ群のランクだけが重要でしたが、高種数曲線の場合は、ヤコビ多様体のモルデル・ヴェイユ群に加えて、ネロン・セヴェリ群のランクまで影響してくるという点です。サトー・テート群という、曲線の対称性を司る構造が結果に深く関わっているのが非常に刺激的ですね。 さらに驚くべきことに、特定の例外的な曲線では、この成長率の指数がマイナスになることがあるそうです。これは元の予想では見られなかった現象で、数学的な意外性に満ちています。彼らはデータベースを用いて数値的な検証も行っており、予測した指数と実際のデータの傾きがぴったり一致することを示しました。理論的な推測が具体的な数値で裏付けられていく過程には、心地よい説得力があります。
16. 26:22 16. On the Hidden Pascal Symmetry and Moment Constraints of Vector Representatives in Quebbemann's 64-Dimensional Lattice 2608.17367v1
    スクリプトを表示

    16本目は、math.COからのクロス投稿で、ニック・ヴォロブツォフさんによる、「On the Hidden Pascal Symmetry and Moment Constraints of Vector Representatives in Quebbemann's 64-Dimensional Lattice」(ケベマンの64次元格子におけるベクトル代表元の隠れたパスカル対称性とモーメント制約について)、です。 この論文では、64次元のケベマン格子という非常に高次元な構造を扱っています。もともとこの格子の生成には超越数という扱いにくい係数が含まれているため、多くの研究者は数値的な近似で済ませてきました。ですが、著者はそこに決定論的な代数的な核があるはずだと考え、真正面から挑んでいます。 最初は等差数列や等比数列のような単純な構造を試したのですが、結果は散々なもので、すべてゼロベクトルになってしまいました。ここからが面白いところで、著者は視点を変えて、高次のモーメント制約を導入し、ヴァンデルモンド型のシステムを用いて解析しました。すると驚くことに、格子の座標がパスカルの三角形の6行目の係数と完全に一致するという、隠れた対称性が浮かび上がってきたのです。 さらに、エネルギー最小化モデルを使って最適化を行ったところ、二乗ノルムがちょうど20になる整数ベクトルを発見しました。超越数というカオスな世界から、パスカルの三角形という極めて整った離散的な組み合わせ論の世界へと問題を変換させた手腕には、脱帽させられます。最終的にこの知見をクレイグ格子全体に一般化し、最小ノルムが中央二項係数に従ってスケールすることを証明して締めくくっています。
17. 28:22 17. Asymptotics of the Tchoukaillon array and a conjecture of Beluhov 2608.17517v1
    スクリプトを表示

    17本目は、math.COからのクロス投稿で、シシェン・リさんによる、「Asymptotics of the Tchoukaillon array and a conjecture of Beluhov」(チュカヨン配列の漸近挙動とベルホフの予想)、です。 この論文では、マンカラという一人遊びのゲームから導かれる、正の整数が一度ずつすべて現れる不思議な無限行列、チュカヨン配列について研究しています。この配列の端っこの行や列の増え方は分かっていたのですが、中身の一般的な項がどう増えていくかは謎のままでした。 そこで著者は、ベルホフさんが立てた予想を証明しようと試みます。ある一つの数が、配列のサイズが大きくなるにつれてどう移動するかを追跡し、複雑な床関数を含む漸近式を線形システムへと簡略化するという手法をとっています。ここで、中央二項係数に関連するウォリスモードという概念を導入して、実際の値が滑らかな予測値からほとんどズレないことを示した点には、執念のようなものを感じますね。 結果として、ある項の平方根が漸近的に線形になるという平方根法則が証明されました。これにより、ある数までの値が占める領域は、ほぼ三角形になることが分かりました。さらに、任意の数が配列のどこにあるかを高速に見つけるアルゴリズムまで提供しています。既存の端の定理に頼らず、配列自身の再帰性から答えを導き出した点が非常に鮮やかです。
18. 30:07 18. A Kernel-Checked Exclusion Certificate for Erd\H{o}s Problem 647 2608.17880v1
    スクリプトを表示

    最後は、cs.LOからのクロス投稿で、イブラヒム・ミアンさんとシャヤーン・シディキさんによる、「A Kernel-Checked Exclusion Certificate for Erdos Problem 647」(エルデシュ問題647に対するカーネル検証済み除外証明書)、です。 この論文では、ある数エヌよりも、エヌに1、2、3を足した数の方がすべて約数の個数が多いという状況になる数エヌが存在するか、というエルデシュの難問に取り組んでいます。これまでもコンピュータによる探索で、かなり大きな範囲まで解がないことは分かっていました。でも、それらの結果は検証されていないコードに頼っていたため、数学的な証明としては不十分だったんです。 そこで著者たちは、証明アシスタントのリーン4を使い、形式的なカーネルで完全に検証可能な証明を構築しました。具体的には、ある範囲で条件を満たさないことを示す証拠となる値を鎖のようにつなげることで、3から10の7乗までのすべての数について、解が存在しないことを証明したんです。 特に面白いのが、計算を効率化するために、因数分解の滑らかな部分だけをチェックし、残りの部分については約数の個数が倍増することを保証するという工夫を凝らしている点です。660万件を超える膨大な証拠の連鎖を、カーネルがゼロから再評価して検証しています。単に計算記録を更新することではなく、信頼できない計算を、厳格な数学的証明へと昇華させた点に、強いこだわりを感じますね。