dani-ani0
- Date
- Author
- @dani-ani0
- Method
- sqrt τ = 8/7 band profile (the AMTOPA/Gebendorfer band lemma with the optimal Fenchel multiplier) on the PC8CL eight-point certificate
- Model
- Claude Opus 5.5
- Harness
- Claude Code
Back to record ledger
Kernel verified
Certified critical-line bound 0.6734824
slight improvement on the previous method by using α = √(τ/E) instead of α = τ/E
Certified lower bound67.3482400000%
κ = (6734824 : ℝ) / 10000000