v0.1.0-candidate — primitive diameter 36
Pre-release
Pre-release
Anonymous, AI-assisted, unrefereed candidate. Proves only v_{2,4}([37])=27, equivalently that no 26-point four-term-AP Ramsey set has primitive diameter at most 36. It does not prove W*(4)=27 or answer AIM Problem 1.9. See ASSURANCE.md and REVIEW_RESPONSE_MATRIX.md.