論文の概要: Computational Prosopography across a Millennium: Mathematically Oriented Lineages Traced from the Fields Medalists
- arxiv url: http://arxiv.org/abs/2608.17915v1
- Date: Tue, 18 Aug 2026 15:41:48 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-19 21:40:53.388438
- Title: Computational Prosopography across a Millennium: Mathematically Oriented Lineages Traced from the Fields Medalists
- Title（参考訳）: ミレニアムにまたがる計算的プロソポグラフィー:フィールドズ・メダリストにみる数学的指向性線形性
- Abstract要約: 我々は、およそ9世紀に渡り学術的な教育が受け継がれたメンター・学生ネットワークを再構築した。
我々は約470,000人のメンター・アサーションを抽出し、372,853人の有向非巡回グラフを得た。
- 参考スコア（独自算出の注目度）: 18.56157183294801
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We reconstruct the mentor--student network through which documented scholarly training passed across roughly nine centuries, and subject both the network and the means of reconstructing it to source criticism. From Wikidata, which aggregates the Mathematics Genealogy Project and the MacTutor Archive, we extract approximately 470,000 mentor--student assertions, yielding a directed acyclic graph of 372,853 persons. Using all 64 historical Fields Medalists as a fixed, ex ante tracer set, backward traversal enumerates some 25.5 million distinct paths reaching 57 generations. Three structural observations follow. Genealogical traffic through Leibniz forms an hourglass: thin upstream, 5.3 paths per node on average, and thick downstream, 53.4, a ratio near 10:1, with no counterpart at Newton, who lies on only four of the 64 lineages. Across a window centered on Leibniz, seven independently extracted predicate dimensions reorganize together, and recorded learned-society membership rises from 6.5 to 82.1 percent of the cohort. Upstream, 54 of the 64 lineages converge on the same five twelfth- and thirteenth-century Islamic and Byzantine scholars before terminating at an eleventh-century boundary we name the Monastery Wall. We argue that such observations cannot be assessed without tool criticism. The traversal engine is algebraically reversible, so every ranking decision it makes can be reconstructed afterward. We characterize its measurement bias in closed form, show that the macro-structures survive switching that bias off, and report the family of lineages the traversal returns at different resolutions rather than a single ranked list.
- Abstract（参考訳）: 我々は,約9世紀にわたる学術教育を文書化したメンター学生ネットワークを再構築し,そのネットワークと,それを情報源として再構築する手法の両方を考察する。数学系譜学プロジェクトとMacTutor Archiveを集約したWikidataから,約470,000人のメンター学生の主張を抽出し,372,853人の非循環グラフを生成する。
フィールドズ・メダリスト64名全てを固定された元アンテ・トレーサセットとして使用し、後方のトラバースは57世代に達する約25.5百万の異なるパスを列挙している。
3つの構造的な観察が続く。
ライプニッツを経由する系譜は、平均して1ノードあたり5.3パスの薄さ、さらに10:1に近い53.4の太い下流、64系統のうち4つにしか属さないニュートンでは、時間ガラスを形成している。
ライプニッツを中心とする窓の向こう側では、7つの独立した抽出された述語次元が再編成され、コホートの6.5から82.1%の学習社会のメンバーシップが記録されている。
上流では、64系統のうち54系統が同じ5世紀から13世紀にかけてのイスラームとビザンツの学者に収束し、11世紀の境界線で終了し、修道院の壁(Monastery Wall)と名づけた。
このような観察はツールの批判なしには評価できないと我々は主張する。
トラバーサルエンジンは代数的に可逆であるため、任意のランク決定を後から再構成することができる。
我々は、その測定バイアスをクローズドな形で特徴付け、マクロ構造がそのバイアスをオフにし続けることを証明し、その家系を1つのランクリストではなく異なる解像度で報告する。
関連論文リスト
- Transformed in Translation: Two-Stage Structural Uncertainty in LLM-Based Scientific Autoformalization [0.0]
オートフォーマル化はアカウントを実行可能な数学に変えるが、実行可能コードはどのモデルが構築されたかは決着しない。
応答法則を生成する形式化器と,その法則を軌道に変換する再帰性という,構造的不確実性の2つの源について検討する。
論文 参考訳（メタデータ） (2026-09-13T21:47:46Z) - NeoHorse-1: Towards Recursive Self-Improvement via Agentic Post-Training with Routing Harness [76.6324710887112]
NeoHorse-1は、エージェントのポストトレーニングを通じてこの経路を探索するために開発されたエージェントネイティブモデルのファミリーである。
本システムでは,異種モデルプールとインテリジェントなルーティング,予測能力要求,選択されたサービス層,およびその後のユーザ毎のインタラクションを結合する。
論文 参考訳（メタデータ） (2026-09-08T03:14:54Z) - Retrieved but not ranked: surface-form bias in structural retrieval, from mathematics to agent trajectories [1.3092549225920291]
表面形状と意味を意図的に分離した埋め込み検索の評価を行った。
数学では、失敗は完全である: 最も重い偽りの階層における厳密なhit@1は、両方のプロダクション埋め込みに対して0.0%である。
表面の変化が付随する軌道では、同じモデルが超幾何学的確率で着陸する。
論文 参考訳（メタデータ） (2026-09-01T17:19:57Z) - Structure-Aware Semantic Chunking with Title-Chain Prefixes: A 1600-Query Evaluation and the Measurement Trap in Text-Transform Ablations [4.342406076796542]
3段階のチャンク側のみのセマンティックチャンクパイプラインを提示する。
タイトルチェーンは、生成された要約ではなく、文書のヘッダ階層を再利用する。
パイプラインは完全なセットでMRR@5を0.374から0.463に、答え可能なサブセットで0.828から0.925に改善する。
論文 参考訳（メタデータ） (2026-08-01T19:01:46Z) - PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs [0.23689955632456092]
我々は、形式数学における時間相対的証明-ルート非標準性という、意図的なより狭い構成について研究する。
PriorProofは、その精巧な証明項の依存関係のフットプリントを抽出し、そのフットプリントの重み付けされた推定値をスコアする。
我々は、スコアギャップが解釈可能な信頼性指標を提供する分解可能な時間アンコール信号として、PreferProofを提案する。
論文 参考訳（メタデータ） (2026-07-18T23:10:00Z) - Efficient Visual Pointing for Embodied AI:Agent-Driven Data Synthesis, Cross-Block Attention, and Iterative Correction [55.11480729304395]
PointArena 2026は77.2%の精度でベンチマークで2位である。
ap proachは3つの障害モードをターゲットにしている。第一に、エージェント駆動のシンセシスは大きなセマンティクスとアンカー相対的な候補プールを構築する。
次に、determinis tic steerable-dataパイプラインは、認証された10,000サンプルのメインセットと、マスク、テンプレート、パス検証を使用するリザーブサンプルを生成する。
論文 参考訳（メタデータ） (2026-06-29T06:39:03Z) - Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings [0.2538209532048866]
我々はLean 4のカーネルレベルの公理依存性の追跡を用いて、選択の公理が証明空間に測定可能な幾何学的相関を持つことを示す。
このシグネチャは長さ,ファイル,著者,トピックコントロールに留まり,正規化証明源で訓練されたフルソースエンコーダの下で複製されることを示す。
論文 参考訳（メタデータ） (2026-06-26T19:57:00Z) - TheoremGraph: Bridging Formal and Informal Mathematics [1.353002745363665]
TheoremGraphは、非公式数学と形式数学の両方にまたがる統一されたステートメントレベル依存グラフである。
非公式な側面では、数学 arXiv から 11.7M の定理のような環境を解析し、18.3M の候補指向の依存関係を復元する。
正式な面では、LeanGraphをリリースしています。Lean 4のエラボレータレベルの抽出器で、388,105の宣言ノードと11.3Mの型付きエッジを生成します。
論文 参考訳（メタデータ） (2026-06-24T03:47:05Z) - Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement [69.77146194380488]
私たちはGoedel-Architectを紹介します。これは、青写真の生成と洗練に焦点を当てたLean 4で証明された公式な定理のためのフレームワークです。
Goedel-ArchitectがMiniF2Fテストで99.2%パス@1、PutnamBenchで75.6%パス@1を達成した。
これは、同等のオープンソースパイプラインよりも500倍低い価格で、オープンソースパイプラインの最先端のパフォーマンスを示している。
論文 参考訳（メタデータ） (2026-06-04T17:54:44Z) - Right Makes Might: Aligning Verified Hidden States Empowers RL Reasoning [55.264863369127774]
現在の方法では、それぞれの正しいロールアウトを単一の報酬ビットに減らし、隠れた状態間で共有される幾何学的構造を無視している。
本稿では,RLトレーニングにおけるアンカートークンにおける正ロールアウトの最終層を,トレーニングと推論の両方においてゼロオーバーヘッドで整列する補助損失関数Hidden-Alignを提案する。
8つの数学的推論ベンチマークでは、Hidden-AlignはDAPOベースラインの平均パス@1をQwen3-1.7B, 4B, 14Bで3.8, 6.2, 5.4ポイント改善し、3つのスケールで一貫したパス@kゲインを得る。
論文 参考訳（メタデータ） (2026-06-02T06:51:15Z) - Institutions and the transmission of upper-tail human capital: scientific lineages across a millennium [18.56157183294801]
我々は,最上部の人的資本がマスターから学生に1千年にわたって渡されるネットワークを初めて網羅的に測定した。
Wikidataから470,000人のメンター学生の記録と、64人の歴史あるフィールズ・メダリスト全員を、固定された、元のトレーサセットとして使用しています。
論文 参考訳（メタデータ） (2026-05-29T16:02:02Z) - How Far Is Document Parsing from Solved? PureDocBench: A Source-TraceableBenchmark across Clean, Degraded, and Real-World Settings [56.70440596502351]
昨年は20以上のオープンドキュメントパースモデルが見られたが、ベンチマークはほぼOmniDocBenchにのみ依存している。
HTML/CSSのドキュメントイメージをレンダリングするベンチマークであるPureDocBenchは、10のドメイン、66ページ、1,475ページをカバーしています。
論文 参考訳（メタデータ） (2026-05-08T09:30:31Z) - Preference Optimization for Reasoning with Pseudo Feedback [100.62603571434167]
提案手法では,解のラベル付けを関連するテストケースに対する評価として行うことで,推論タスクに対する疑似フィードバックを生成する手法を提案する。
本研究では,擬似フィードバックを優先最適化に用いる数学的推論と符号化の両タスクについて実験を行い,両タスク間の改善を観察する。
論文 参考訳（メタデータ） (2024-11-25T12:44:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。