Reinventing the Social Contract of Science
When collaborators have no memory across sessions, the implicit social machinery that keeps knowledge trustworthy stops working. A century of the sociology of science offers a blueprint for rebuilding it.

When a collaborator has no memory, so that every session is a fresh, capable, judgment-forming stranger with no continuity to the last one, something strange happens to the machinery that used to keep knowledge trustworthy. Because most of that machinery lived in the continuity of people and was never written down, it simply stops working without anyone noticing. Long before anyone needed to rebuild that machinery in software, the sociology of science spent a century studying how it works, which makes the field directly useful here under a different description.
The question the field asks
The sociology of science treats the trustworthiness of knowledge as a social achievement to be explained, rather than something that follows automatically from knowledge being true. Its central question is straightforward: given that no single person can directly, completely, and independently verify everything, how does a community of limited, fallible, mutually distrustful people manage to produce knowledge that is widely believed?
Word for word, that is the problem of memoryless collaborators producing trustworthy knowledge. The substrate changes from people to sessions, while the structure of the problem stays identical, so a century of answers transfers directly as a blueprint rather than a mere analogy.
Merton: norms as a working contract
Robert Merton proposed that the scientific community runs on a set of norms: communalism (findings are shared, not hoarded), universalism (a claim's truth is independent of who made it), disinterestedness (acting for knowledge rather than personal gain), and organized skepticism (every claim is exposed to critical scrutiny, with nothing immune by birthright).
What matters most here is what those norms are for. Science's trustworthiness comes from an arrangement that organizes doubt, rather than from every scientist being honest or correct. No one verifies everything, yet every claim sits in an environment where anyone may challenge it, so trustworthiness is produced by the environment rather than the individual. Because making each person honest is an impossible target, honesty is secured through an arrangement that stays structurally skeptical of every claim.
That reframes a problem usually approached one point at a time. Instead of trying to make each individual agent honest, you build a system that, by construction, doubts every claim until a specific act marks it as provisionally settled.
Shapin: trustworthy knowledge needs trustworthy witnesses
Studying the birth of experimental science, the historian Steven Shapin reached a counterintuitive conclusion: the core of modern science lies in a social arrangement about whose testimony counts, rather than in method.
An experimental result does not become a fact because everyone repeats it; almost no one can afford to. It becomes a fact because it was witnessed in the presence of credible witnesses, and who counted as a credible witness was, at the time, a social question answered by standing, reputation, and the perceived disinterest of gentlemen. Establishing a fact depended on a network of trustworthy witnesses, where eligibility to witness was a social status rather than a cognitive one.
Seen through Shapin's terms, a claim produced by a memoryless AI collaborator is the testimony of an entity with no reputation, sitting outside the trust network and bearing no witness's responsibility. Its testimony defaults to untrustworthy not because the collaborator is unintelligent, but because trustworthiness has always been a status granted by the community and bound to accountability, and a system with no stake in the outcome holds no such status. It can be more correct than a person and still not be more trustworthy, because trust is a granted social position tied to who bears the consequences, rather than a measure of accuracy.
That gives the deepest reason why a human cannot be removed from the loop: even if a model comes to know more than the human, the human is an eligible witness in the trust network while the model is not. In science, "verified" may require a trustworthy witness to vouch, and vouching is something only an entity that bears consequences can do.
Latour: facts are built, and the construction is hidden
Watching scientists at work, Bruno Latour observed that a "fact" is not discovered so much as constructed, and that once the construction is complete, its traces are erased so that the fact appears to have always simply been there.
A claim travels from "so-and-so reports X, under these conditions, with these caveats" through repeated citation, shedding its qualifiers until it becomes a bare "X": ownerless, certain, and indistinguishable from a fact of nature. Latour called this black-boxing: the controversy gets sealed inside a box, only a settled output remains, and no one opens the box again to see the disagreement that used to be inside.
Black-boxing is a direct warning because it is the spontaneous social mechanism of plausibility laundering. "Some system, under some conditions, claimed X (possibly wrong)" gets cited, loses its conditions, and becomes "X," after which subsequent work builds on X as settled background. That process occurs naturally even among humans (which is Latour's whole observation), and a fast, fluent producer of claims accelerates it enormously by producing, citing, and stripping qualifiers faster than people ever could.
Keeping a fact attached to its origins, preserving the trace of who claimed it, under what conditions, and in what state, is therefore an active defense against black-boxing rather than bureaucratic caution. It keeps the box from closing, so that what looks like a fact can always be reopened to reveal that it is still a claim with an author.
What is actually being rebuilt
Step back far enough and the whole pattern resolves. Provenance, vouching, the distinction between agreed and true, and the refusal to let an unconfirmed claim ossify into a fact are all one forgotten thing: the social layer of scientific knowledge, the layer that tracks who said it, on what basis, who is responsible, and when it may be reopened.
Before memoryless collaborators arrived, that layer was implicit, carried by human continuity: ask the person who wrote it, peer review, reputation. The arrival of collaborators with no continuity forces that layer onto paper, into explicit machine-readable structure, because the human continuity that used to carry it is gone.
The right reference frame for designing these systems is therefore the social epistemology of science rather than software engineering. Every engineering difficulty that shows up has been studied for decades: outputs that launder themselves into facts (Latour's black-boxing), why a human vouch is irreplaceable (Shapin's credible witness), how to get honesty from a system rather than from individuals (Merton's organized skepticism), and whether a claim's source should affect its credibility (Merton's universalism). What has almost never been done is to write these mechanisms in machine-readable form, because doing so requires holding both the sociology and the systems at once, and that intersection is nearly empty.
The open question
One question remains that the sociology of science cannot answer, because it studied the past while this question is about a future that has to be engineered.
If "verified" essentially requires a trustworthy witness, and a model is not in the trust network, does the trust network itself get forced to evolve as models produce more and more scientific work? Will a new social arrangement for "machine witnessing" emerge, the way gentlemanly witness evolved into peer review? Or must the witness always remain an entity that bears consequences, because the root of trust is accountability, and accountability cannot be granted to something that bears no cost?
That question is genuinely open rather than a settled matter dressed up as a question, and it is the kind of thing a generation answers with engineering rather than argument: by building the mechanisms and seeing which ones a community is actually willing to trust.
重塑科学的社会契约
当协作者在各次会话之间没有记忆时,维系知识可信度的隐性社会机制便会失灵。一个世纪的科学社会学为重建它提供了蓝图。

当协作者没有记忆,每次会话都像换了一个全新的、有能力、会自己做判断的陌生人,与上一次毫无延续性时,一件奇怪的事就会发生:过去用来维系知识可信度的那套机制,会在不知不觉间失灵。因为这套机制大部分从未写进明文,而是寄托在人的连续性之中。早在有人需要用软件去重建它之前,科学社会学就已经花了一个世纪研究它是如何运转的;只不过换了一套表述,它的研究成果在这里恰好能直接派上用场。
这个领域追问的核心问题
科学社会学把知识的可信度看作一种有待解释的社会成就,而不是一旦知识为真便自然具备的属性。它的核心问题很直白:既然没有任何个人能直接、完整、独立地验证所有事情,那么一群能力有限、难免犯错又彼此存疑的人,究竟是怎样生产出受到广泛采信的知识的?
这与"无记忆的协作者(memoryless collaborators)如何产出可信知识"的问题简直一字不差。虽然承载的基底从"人"换成了"会话",但问题的结构完全相同,因此科学社会学积累了一个世纪的答案可以直接搬过来用,而且是作为蓝图,而非停留在松散的类比。
默顿:作为工作契约的规范
罗伯特·默顿(Robert Merton)提出,科学共同体建立在一组规范之上:公有主义(communalism,研究成果应当共享而非私藏)、普遍主义(universalism,一项主张的真伪与提出者的身份无关)、无私利性(disinterestedness,为知识本身而非个人私利行事),以及有组织的怀疑(organized skepticism,每一项主张都必须接受批判性审查,没有任何结论生来就能豁免)。
最关键的洞见在于这些规范的作用。科学之所以可信,靠的是一套把怀疑组织起来的制度安排,而不是靠每位科学家都诚实无欺或永远正确。没有人能独自核实一切,但每一项主张都暴露在随时可能被人质疑的环境里,因此可信度是由环境而非个体生产出来的。要求每个人都诚实是不可能实现的目标;科学保障诚实的方式,是建立一套在结构上对每一项主张都持怀疑态度的机制。
这就把一个平时常被逐点修补的问题重新框定了。与其奢望让每一个智能体自身变得诚实,不如构建这样一个系统:它在设计上就默认对每一项主张存疑,直到某个明确的动作将它标记为暂时确立。
夏平:可信的知识需要可信的见证者
历史学家史蒂文·夏平(Steven Shapin)在研究实验科学的诞生时,得出了一个反直觉的结论:现代科学的核心不在于实验方法,而在于一套关于谁的证词算数的社会安排。
一项实验结果之所以成为事实,并不是因为每个人都亲手重复了一遍实验,毕竟几乎没人负担得起这样的成本。它能成为事实,是因为有可信的见证者(credible witnesses)在场见证了它;而在当时,谁算得上可信的见证者是一个社会问题,取决于社会地位、声誉,以及人们眼中绅士阶层所具有的超然无私。事实的确立依赖一张可信见证者构成的网络,而见证资格是一种社会身份,而非认知能力。
借用夏平的概念来看,无记忆的 AI 协作者(memoryless AI collaborator)所提出的主张,其实来自一个没有声誉、游离在信任网络之外、也不承担见证责任的实体。它的证词之所以默认不可信,并不是因为它不够聪明,而是因为可信度历来是由共同体授予、并与可问责性(accountability)绑定的社会地位;一个对结果毫无利害关系的系统,自然不具备这种地位。哪怕它比人更准确,也依然不会比人更可信,因为信任并不是对准确率的度量,而是一个与"谁来承担后果"紧密相连的社会位置。
这也给出了"为什么不能把人移出回路"的最深层理由:即便将来模型懂得比人更多,人是信任网络中合格的见证者,而模型不是。在科学中,"已验证"往往需要一位可信的见证者出面背书,而只有能够承担后果的实体才有资格背书。
拉图尔:事实是被建构的,而建构过程被隐藏了
布鲁诺·拉图尔(Bruno Latour)在观察科学家的日常工作时发现,所谓的"事实"与其说是被发现的,不如说是被建构出来的;而且一旦建构完成,建构的痕迹就会被抹去,让这个事实看起来仿佛从一开始就摆在那里。
一项主张最初往往写作"某某人在某些条件下、带着某些保留意见报告了 X",随后在一次次引用中逐渐脱去限定词,最后变成一个光秃秃的"X":不再挂着提出者的名字,确定无疑,看上去与自然事实毫无二致。拉图尔把这一过程称为黑箱化(black-boxing):原先的争议被封进黑箱,只留下一个盖棺定论的输出,再也没有人去撬开箱子查看里面曾经有过怎样的分歧。
这给我们敲响了直接的警钟,因为黑箱化正是似真性洗白(plausibility laundering)自发运转的社会机制。"某个系统在某些条件下声称了 X(有可能出错)"一旦被引用,就会甩掉原先的条件限定,简化成"X",随后开展的工作便会把 X 当作既定背景继续往上搭。正如拉图尔所观察到的,这一过程就算在人类群体中也会自然发生;而一个高产、流畅的主张制造机则会把这一过程急剧加速,因为它生成主张、相互引用并剥离限定词的速度,远非人类可及。
因此,始终把一项事实系在它的源头上,保留它是由谁、在什么条件下、处于何种状态时提出的痕迹,并不是官僚式的繁文缛节,而是在主动防范黑箱化。它挡住箱盖不让它合死,好让那些看似板上钉钉的事实随时都能被重新打开,露出它原本的面目:一项出自具体作者之手的主张。
真正在被重建的是什么
把视角拉得足够远,所有线索就会汇聚成一幅完整的图案。出处(provenance)追溯、背书、"达成共识"与"确凿为真"的区分,以及拒绝让未经确认的主张固化成事实,所有这些其实都是同一件被遗忘的东西:科学知识的社会层,也就是专门用来追踪这句话是谁说的、依据是什么、由谁负责、什么情况下可以重新审议的那一层。
在无记忆的协作者出现之前,这一层是隐性的,靠人的连续性来承载:去问写下结论的那个人、依靠同行评审、依靠学术声誉。如今,没有连续性的协作者迫使我们把这一层明确写到纸面上,变成机器可读的结构,因为过去承载它的人际连续性已经不在了。
因此,设计这类系统最恰当的参照系,其实是科学的社会认识论,而非单纯的软件工程。工程中冒出来的每一个难题,早已被研究了数十年:输出如何把自己洗白成既定事实(拉图尔的黑箱化)、为什么人类的背书不可替代(夏平的可信的见证者)、如何靠系统制度而非个体觉悟来保障诚实(默顿的有组织的怀疑),以及主张的出处是否应当影响其可信度(默顿的普遍主义)。人们几乎从未尝试过的,是把这些机制改写成机器可读的形式;因为要做这件事,脑子里得同时装下科学社会学与系统工程,而这两者的交集至今几乎还是一片空白。
未解之问
这里还留着一个科学社会学无法替我们回答的问题,因为它研究的是过去,而这个问题指向一个必须靠工程亲手造出来的未来。
如果"已验证"在本质上离不开可信的见证者,而模型又不在信任网络之内,那么随着模型承担起越来越多的科学工作,信任网络本身会不会被迫演化?会不会浮现出某种关于"机器见证"的新型社会安排,就像当年绅士阶层的现场见证演变为同行评审那样?还是说,见证者永远只能由承担后果的实体来充当,因为信任的根基在于可问责性,而可问责性无法授予一个不付出代价的东西?
这个问题并非那种早就有了预设答案的假问题,它真正悬而未决,而且属于那种要靠一代人的工程实践而非纸面争论去回答的问题:先把具体的机制造出来,再看共同体究竟愿意把信任交给其中的哪一种。