arXiv：cs.AI· Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato, Kodo Yamauchi·· 20 小时前
Where Polanyi Meets Galois：隐性知识作为代数确定性操作，重构 AI 生成科学的根基
Where Polanyi Meets Galois: Tacit Knowing as an Algebro-Deterministic Operation, Toward Re-rooting AI-Generated Science
AI 导读
论文提出将隐性知识建模为记忆基底 VaCoAl 的一种运行机制，而非某类内容。VaCoAl 是基于 GF(2) 的代数确定性 XOR-and-shift 超维记忆，以 CASRAM（商用 SRAM-CAM）和 PyVaCoAl（DRAM-CAM）实现。修复碰撞的 Rescue 模式使轨迹完全可审计但不为路径排序，容忍碰撞的 Don't Care 模式则产生路径积分置信度 CR₂。
正文
Abstract:We argue that tacit knowing is better modelled as an operating regime of one memory substrate than as a kind of content. The substrate is VaCoAl, an algebro-deterministic XOR-and-shift hyperdimensional memory over GF(2), realized as CASRAM (commercial SRAM-CAM) and PyVaCoAl (DRAM-CAM).In VaCoAl/PyVaCoAl a directed acyclic graph (DAG) reads two ways. Repairing every collision (Rescue mode) makes the trace exactly auditable but ranks no path higher; tolerating collisions (Don't Care mode) yields a path-integrated confidence, CR$_2$, that silently favours direct routes. This audit-valuation complementarity is a formal counterpart of Polanyi's claim that tacit and explicit knowledge are not sharply divided. It separates contingent tacitness, which a new query brings out (AlphaGo's game tree), from regime-bound tacitness, statable only in a regime where it is gone (AlphaGo's hunches). (1) Polanyi's from-to structure reads as non-commutative binding, the Identikit as role-filler composition, recognition as majority-vote coincidence. (2) Explicating the valuation destroys it, as attending to his fingers can make Polanyi's pianist falter, yet a closed-form law states it. Polanyi, Nonaka, Tsoukas and Collins each capture part of this but narrowly; even Nonaka and von Krogh's continuum cannot tell contingent from regime-bound tacitness. (3) Collins's three tacit knowledges become strata, one outside the substrate. (4) Our mentor-student DAG is a tacit-transmission graph. (5) Terence Tao's remark that AI-solved problems spawn few follow-ups is diagnosed as rootless explicit knowledge: checkable results whose route no one can follow and that no one yet understands well enough to extend, teach or judge. To re-root them, LLMs generate, VaCoAl/PyVaCoAl keeps an auditable trace with its confidence, and people value, a role virtue epistemology shows cannot be offloaded. Testable predictions follow.
| Comments: | 27 pages, 6 tables, 2 figures |
| Subjects: | Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI) |
| Cite as: | arXiv:2610.16102 [cs.NE] |
| (or arXiv:2610.16102v1 [cs.NE] for this version) | |
| https://doi.org/10.48550/arXiv.2610.16102 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Hiroyuki Chuma [view email]
[v1]
Mon, 12 Oct 2026 03:12:47 UTC (65 KB)
来源：arXiv：cs.AI · arxiv.org