過去・現在・未来

 Dialogue Access List 2026年10月のDialogue 9. 構造的幾何学的型付け理論入門 8. 「Isbell核意味論」の発展概要 7. 意味の「空間」から意味の「構造」へ：言語理論の転換を方向づけた「ニューラル言語モデル」批判 を振り返る 6. 大規模言語モデル理論の新しい発展 — LLMのマグニチュード論 5. 大規模言語モデルの「Next Token 確率」計算の謎 4. 大規模言語モデルの数学的構造 3. AIと数学が交差する領域で2026年に起きたこと 2. 機械の言語能力の獲得について 1. 新しい物理理論の登場とAI 2026年9月のDialogue 3. プログラム開発と形式手法 2. 同一性の認識と型の理論の成立 1. AI定理証明の数学的基礎

  God's Perfect Timeline: Keeping AI in Perspective 彼女の理論は今どこで生きているか 教えていただいた彼女の論文は、全部、見ています。 Bradley–Terilla–Vlassopoulos 2021 → Bradley–Gastaldi–Terilla 2024 → Bradley–Vigneaux 2025 という流れは面白いですね。 「彼女の理論が今どこで生きているか」という調査、始めてもらえますか？ はい。調査を始めました。第一報としては、かなり面白い結果です。 前回より一段強く言えます。 Bradley の「LLMの統計から意味の数学的構造を取り出す」という研究プログラムは消えていません。むしろ2025–26年に、Bradley本人の手を少し離れて、John Terilla、Juan Luis Gastaldi、Samantha Jarvis、Thomas Seiller を中心とする独立した研究プログラムへ育ち始めています。 しかも、そのことをほとんど公式に宣言しているような2027年の研究集会まで見つかりました。 1. 一番大きな発見：2027年Dagstuhl研究集会 2027年1月4–8日にDagstuhlで、 Mathematical Foundations of ML Language Models through Structural Geometric Typing というResearch Meetingが予定されています。主催者は Juan Luis Gastaldi / Samantha Jarvis / Thomas Seiller / John Terilla です。 そして、この集会の趣旨説明が驚くほど明瞭です。現在進行している三つの研究線の第1番目として、明示的に Bradley 2020 → Bradley–Terilla–Vlassopoulos 2021 → Bradley–Gastaldi–Terilla 2024 を挙げ、それを “a categorical approach to syntactic data leading to a generalization of both word vector embeddings and formal con...