面向语言模型可靠物理设计的结构认证

一个不可靠的语言模型如果能断言权威被移出模型，就可以产出可靠的物理设计：模型提议，仅确定性引擎认证——返回已认证、不可能或未知。我们引入物理锚定认证（PHACT）：跨越五个科学领域的提议-认证循环——并识别使此类证书可信的条件。接受模型提供值的检查器可被伪造；从固定输入导出认证量则按构造使伪造不可能。跨两模型、两解码温度与一个故意故障引擎的八十次对抗试验：该契约产生零假认证。