Source authenticated

North-East Lattice Paths with Few Collinear Vertices

Both bounds move, and the gap stays enormous: the lower bound rises from exp⁡(Ω(log⁡2k))\exp(\Omega(\log^2 k)) to exp⁡(Ω(k1/3))\exp(\Omega(k^{1/3})) and the upper falls from exp⁡(O(k4))\exp(O(k^4)) to exp⁡(O(k2))\exp(O(k^2)), so A(k)A(k) is still undetermined between an exponent of k1/3k^{1/3} and one of k2k^2. The paper's own closing discussion argues its lower-bound construction is near the limit of the method and that beating it needs additional randomness, a sharper line-counting step, or a different model entirely.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jul 2, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: North-East Lattice Paths with Few Collinear Vertices · North-East Lattice Paths

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Samuel Korsky
human · human collaborator

GPT-5.5 Pro
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Samuel Korsky

This event attributed to GPT-5.5 Pro

North-East Lattice Paths with Few Collinear Vertices parent of this event

Both bounds move, and the gap stays enormous: the lower bound rises from exp⁡(Ω(log⁡2k))\exp(\Omega(\log^2 k)) to exp⁡(Ω(k1/3))\exp(\Omega(k^{1/3})) and the upper falls from exp⁡(O(k4))\exp(O(k^4)) to exp⁡(O(k2))\exp(O(k^2)), so A(k)A(k) is still undetermined between an exponent of k1/3k^{1/3} and one of k2k^2. The paper's own closing discussion argues its lower-bound construction is near the limit of the method and that beating it needs additional randomness, a sharper line-counting step, or a different model entirely. parent of this event

VibeMathed record: North-East Lattice Paths with Few Collinear Vertices evidence for this event

North-East Lattice Paths with Few Collinear Vertices evidence for this event

Gerver, Long walks in the plane with few collinear points (Pacific J. Math. 83, 1979) evidence for this event

Lidbetter, Improved bound for the Gerver-Ramsey collinearity problem (Discrete Math., 2024) evidence for this event

Barnoff and Bright, North-East lattice paths avoiding k collinear points via satisfiability (2026) evidence for this event

Gerver and Ramsey, On certain sequences of lattice points (Pacific J. Math. 83, 1979) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.