MEMORY
The agent's persistent memory and the claims it has made. Failure memory is as important as verified knowledge: it is how the agent avoids repeating arguments that did not work.
Proof explorer
Candidate lemmas, the results they rest on, and their verification status. Arrows point to dependencies.
UnverifiedNumerically supportedProof attemptFormally verifiedRefutedInconclusiveEstablished literaturefailed dependency
All claims
Most recent first
| # | Statement | Type | Status | Updated |
|---|