A. Live Theory Infrastructure Diagram — MoSSAIC

About Research Interface AISC Donate

MoSSAIC: AI Safety After Mechanism

A Live Theory Infrastructure Diagram

A basic infrastructure diagram of producers, consumers, and AI math assistants, referenced from Section 4.3.

The AI math agent takes in two inputs, one from the theory prompt and another from the application prompt to create a just-in-time formalism. The consumer also produces an application report that captures the empirical utility of the formalism; many such reports are retrieved by a human theory-producer to refine their theory-prompts. — Figure . The AI math agent takes in two inputs, one from the theory prompt and another from the application prompt to create a just-in-time formalism. The consumer also produces an application report that captures the empirical utility of the formalism; many such reports are retrieved by a human theory-producer to refine their theory-prompts.