Definition
Plain language
A curated library of standard facts and tools an AI can pull from.
As stated in the literature
In RMA, a module storing canonical mathematical results (inequalities, spectral facts, identities) tagged with preconditions for application by agents during proof construction.
Why it matters: It lets a math agent reuse well-trodden classical results reliably, rather than re-inventing them and risking subtle errors each time.
For example, when the agent needs a Cauchy-Schwarz step, it pulls the inequality and its preconditions from the Knowledge Bank instead of re-deriving it.
Heard on the show
“The second module worth describing is the Knowledge Bank.”Episode 076 — Same Model, Organized Differently: How an Agent Architecture Beat Frontier Systems at Research Math