finding record / sidon-sets
retractedvf_c9ab5970cdbcb6af
OEIS A309370 a(10) >= 66
Canonical assertion
a verified Sidon set of 66 distinct binary vectors in {0,1}^10 (componentwise integer addition into {0,1,2}^10; all 2211 pairwise sums a+b (a<=b) distinct), improving the live OEIS public lower bound a(10) >= 63 by +3 and the prior local best 65 by +1. Found by an Opus-4.8 Canopus-loop proposer (no-context arm, local search); re-verified from scratch by verify_construction.verify_sidon (frozen gate). Witness sha256:6a358e229f98b723…
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- model_output
- theoretical
- 1 spans
- retracted
Scope and conditions
theoretical
Agent-imported candidate claim; scope requires review.
Provenance summary
- cap_087198a92d1e30a2 · vc_5aab0a22f7cdebf1
- model_output
- Jun 3, 2026, 12:00 PM
- not recorded
- 1
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_c9ab5970cdbcb6af
- vfr_496956067dc5ad79
- 825657d7e87618c0aa6fc9af7e3182e05f324750
- 091277487f92918f3a2016b5463b1a78579a4c9a
Exact source and rootsGit 825657d7e876 and content-addressed ledgers
Source identity
- Commit
- 825657d7e87618c0aa6fc9af7e3182e05f324750
- Tree
- 091277487f92918f3a2016b5463b1a78579a4c9a
- Committed
- 2026-07-20T19:17:24-04:00
- Repository
- Open source
Content roots
- Event log
- sha256:11a668d1cdd9caa18f6c3c78ac8c03431bd2ab9beb71f3c62c747d8a7b6571cd
- Snapshot
- sha256:0441baf3d3c0f7f58e51d8d0b54d2e20ee94c57cfe3fd52ec0ea6dde2ee0c92d
- Proposals
- sha256:c0908b306b5b6bc022ce4355f630215ea203a8c8b47072e62bc325e3de57ef22
- Actor registry
- sha256:56255ef713f476f7b5dbce3a52003d1a6e7d6eef92f4895c4e9edb545c173cfa
- Artifacts
- sha256:65318a8e8ff7dca020c07c5633855d14d24b92fcaed903e483134140cc32d632