The Lattice Triangle Problem in the Hard Obtuse Window
A density-1 obstruction, not a full resolution: the conjecture that the hard window contains no lattice triangles remains open on a density-0 set.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-assisted. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: The Lattice Triangle Problem in the Hard Obtuse Window · Lattice triangles
Confidence: Not scored
Registry verification: lean checked · preprint · partial
Attribution
VibeMathed
registry · event recorded by
AxiomProver
model · ai model contributor · Axiom Math
David Kurniadi Angdinata
human · human collaborator
Evan Chen
human · human collaborator
Ken Ono
human · human collaborator
Jiaxin Zhang
human · human collaborator
Jujian Zhang
human · human collaborator
Lineage and corrections
Corrects The Lattice Triangle Problem in the Hard Obtuse Window →
Supersedes The Lattice Triangle Problem in the Hard Obtuse Window →
The Lattice Triangle Problem in the Hard Obtuse Window parent of this event
A density-1 obstruction, not a full resolution: the conjecture that the hard window contains no lattice triangles remains open on a density-0 set. parent of this event
VibeMathed record: The Lattice Triangle Problem in the Hard Obtuse Window evidence for this event
The Lattice Triangle Problem in the Hard Obtuse Window evidence for this event
This event attributed to AxiomProver
This event attributed to David Kurniadi Angdinata
This event attributed to Evan Chen
This event attributed to Ken Ono
This event attributed to Jiaxin Zhang
This event attributed to Jujian Zhang
Act on this frontier