Tai-Danaeを探して 2 -- 彼女の理論は今どこで生きているか
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...