On the mechanical creation of mathematical concepts
この論文は、数学的発見の本質を既存の語彙内での探索ではなく「明示的概念の創出」に求め、現在の AI が達成した暗黙的概念形成の限界を指摘しつつ、機械による明示的概念の創出がもたらす可能性と人間との計算的トレードオフによる数学スタイルの差異を論じています。
🔢 Category
math.HO
14 件の論文
Research projects and Moscow Mathematical Conference for high school students
この論文は、科学的な新しさを目指す必要のない研究プロジェクトとモスクワ高校生数学会議の事例を通じて、高校生が直観の育成、論文執筆、匿名査読、そして受賞という一連の科学研究プロセスを自然かつ段階的に習得できることを示しています。
Estimating with a Coin
この論文は、コイン投げを用いた単純なモンテカルロ法によって円周率を推定する手法を記述し、その背後にあるカタラン数に関する恒等式を確率論の文脈で解釈する新たな視点を提供しています。
Mathematical Proof
この論文は、計算中心の微積分から抽象数学へ移行する学部生向けに、論理、証明技法、数学的帰納法、集合論などの基礎を扱い、多数の例題と解答を備えた一学期分の証明論コースの講義ノートを提示しています。
Celebrating Women in Mathematics
この論文は、女性数学者を称賛し励ます世界的な「5 月 12 日イニシアチブ」の概要と、ミルザハニやノエーターなど画期的な業績を残した先駆的な女性数学者たちの功績を紹介するものである。
A catalog of interesting and useful Lambert series identities
この論文は、数論における積性特殊関数の生成関数を数えるための自然な手段であるランバート級数について、その形式的性質や組合せ論的一般化、および既知の恒等式の包括的なカタログを提示し、収束性よりも数列の列挙に焦点を当てた概説を提供するものである。
Invariants of almost embeddings of graphs in the plane
この論文は、平面におけるグラフの「ほぼ埋め込み」の不変量とその関係性を証明し、削除された積のホモロジーとの関連を示すとともに、代数位相幾何学の概念を非専門家にも理解しやすい形で提示し、未解決問題や予想を提示するものである。
Semantic Search over 9 Million Mathematical Theorems
この論文は、arXiv などの 920 万件の定理を網羅する大規模コーパスを用いて、自然言語記述による意味検索が数学者による専門的な定理検索において既存手法を大幅に上回る有効性を有することを示しています。
English translation of Sophie Kowalevski's "On the problem of the rotation of a rigid body about a fixed point"
この論文は、ソフィア・コワレフスカヤが1889年にフランス語で発表した「剛体の固定点周りの回転に関する問題」（現・コワレフスカヤの陀螺）の英語翻訳とデジタル化版である。
Peacock's Principle as a Conservative Strategy
この論文は、非可換代数の登場によってペacockの永続性の原理が無効化されたという見解を誤りとして退け、同原理をヒュームの論理法観念に基づく「可能な限り法則を維持する保守的戦略」として再解釈し、ハミルトンが四元数微積分の発展においてまさにこの戦略に従ったことを示すものである。
Hyperbolic elliptic parabolic disks approximated by half distance bands
この論文は、双曲幾何学の単位円盤モデルにおける双曲的楕円放物円盤を、その支持半距離帯や面積・円周の観点からより精密に近似する方法について考察しています。
Blackwells Demon: Postdiction and Prediction in Random Walks
この論文は、統計的に均質なランダムウォークにおいて、予測戦略の成否を把握することで、公平なコインの裏表を 1/2 を超える確率で予測できる「ブラックウェルの悪魔」という概念を、二封筒問題の変種を通じて導入し、マクスウェルの悪魔と対比して説明しています。
Discovering mathematical concepts through a multi-agent system
この論文は、実験、証明の試行、反例の検討という相互作用に基づいたマルチエージェントシステムを提案し、多面体データと線形代数の知識からホモロジー概念を自律的に再発見する実験を通じて、局所的なプロセスの適切な組み合わせの最適化が数学的な興味深さの概念と驚くほど整合性の取れた結果をもたらすことを示しています。
Mathematicians in the age of AI
この論文は、AI が研究レベルの数学的定理を証明できるようになった現状を踏まえ、数学者が最新技術の動向を把握し、数学的実践への影響を考慮して、新たな課題と機会に適切に対応するよう促しています。