跳到正文
arXiv cs.AI· Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato, Kodo Yamauchi·· 4 小时前AI 评分24

VaCoAl 论文将 Polanyi 默会知识形式化为 GF(2) 代数确定性记忆操作,重审 AI 生成科学

Where Polanyi Meets Galois: Tacit Knowing as an Algebro-Deterministic Operation, Toward Re-rooting AI-Generated Science

AI 导读

Hiroyuki Chuma 在 arXiv 论文中提出 VaCoAl——一种基于 GF(2) 的代数确定性超维记忆,实现为 CASRAM 与 PyVaCoAl——论证默会知识是同一记忆基质的运行模式而非另一类内容。

正文 · 原文

View PDF HTML (experimental)

Abstract:Tacit knowing, we argue, is an operating regime of one memory substrate, not a separate kind of content. In VaCoAl, an algebro-deterministic hyperdimensional memory over $\mathrm{GF}(2)$ realized as CASRAM and PyVaCoAl, one DAG of bound records is read in two ways. With every collision repaired (Rescue), the trace is exactly auditable but no path outranks another; with collisions tolerated (Don't Care), a path-integrated confidence $\mathrm{CR}_2$ ranks direct over circuitous routes without being stated. This audit-valuation complementarity formalizes Polanyi's claim that tacit and explicit knowledge are not sharply divided. (1) Polanyi's from-to structure reads as non-commutative binding. (2) Full explication destroys the valuation (Lemma 1), as with Polanyi's pianist; tacitness is thus contingent or regime-bound, placing Polanyi, Nonaka, Tsoukas and Collins on one substrate. (3) The same lemma answers a second dualism: the popular dual-process moral ("train slow, deliberate System 2 to tame fast, intuitive System 1") mirrors the two-store reading of tacit and explicit knowledge Polanyi rejected. Mercier and Sperber's reply, that reasoning is intuitive inference about reasons, matches Polanyi's; in the substrate, complete supervision is full rescue, which erases the valuation it should discipline. (4) Collins's three tacit knowledges map to bound structure, substrate valuation and value binding. (5) Our mentor-student DAG charts tacit transmission. (6) AI-solved problems with few follow-ups (Tao) are rootless explicit knowledge, re-rooted when LLMs generate, VaCoAl keeps the trace and the community values. (7) On Mercier and Sperber's theory, an LLM is a sophist: justification cut from tacit roots and evaluation. Truth-seeking lies in collective tacit knowing, Polanyi's conviviality, which we conjecture underlies evolvability and extends beyond humans. Testable predictions follow.
Comments: 42 pages, 9 tables, 3 figures
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)
Cite as: arXiv:2610.16102 [cs.NE]
  (or arXiv:2610.16102v3 [cs.NE] for this version)
  https://doi.org/10.48550/arXiv.2610.16102

arXiv-issued DOI via DataCite

Submission history

From: Hiroyuki Chuma [view email]
[v1] Mon, 12 Oct 2026 03:12:47 UTC (65 KB)
[v2] Thu, 22 Oct 2026 09:24:22 UTC (74 KB)
[v3] Tue, 10 Nov 2026 05:18:52 UTC (111 KB)

来源:arXiv cs.AI · arxiv.org