Martin Monperrus · 2026 · arXiv (Cornell University)
DOI: 10.48550/arxiv.2610.27693 · cited by 0 works (OpenAlex) · open-access PDF
Trong hàng ngàn năm, kiến thức đã được mang theo bằng ngôn ngữ, và các mô hình ngôn ngữ lớn vẫn đặt ngôn ngữ ở trung tâm. Tuy nhiên, các tác nhân mã hóa được xây dựng trên các mô hình này chủ yếu viết mã. Bài báo này là một đóng góp cho khoa học nhận thức, trong đó hỏi mã kiến thức là gì và làm thế nào nó được thu được. Chúng tôi xác định kiến thức như mã là kiến thức được viết bằng ngôn ngữ lập trình hoặc trong một định dạng dữ liệu có thể đọc bằng máy, có giá trị có thể được kiểm tra bằng cách thực hiện nó. Chúng tôi xác định mười ba thuộc tính epistemic của phương tiện kiến thức và cho thấy rằng mã là phương tiện đầu tiên để có tất cả chúng. Chúng tôi phân biệt hai cách mà kiến thức đi vào mã, mã hóa và học bằng cách thực hiện, nơi mã là cả bản ghi của thử nghiệm và kết quả của nó. Các
Machine translation (Meta M2M100); the English original follows.
For millennia, knowledge has been carried by language, and large language models still put language at the center. Yet the coding agents built on these models mostly write code. This paper is a contribution to epistemology, which asks what kind of knowledge code is and how it is obtained. We define knowledge as code as knowledge written in a programming language or in a machine-parsable data format, whose validity can be checked by executing it. We define thirteen epistemic properties of knowledge media and show that code is the first medium to have all of them. We distinguish two ways in which knowledge enters code, encoding and learning by execution, where code is both the experiment and the record of its result. Agents make learning by execution observable, since their trajectories record every probe, observation and line of code they keep. Code is thus not only a tool of knowledge work but a knowledge medium in its own right, the first that can check what it holds.
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
Topics: Computer science, Code (set theory), Programming language, Coding (social sciences), Knowledge-based systems, Knowledge extraction
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27693, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange