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: Mar 25, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-assisted. Editorial metadata: CC BY 4.0; linked content retains its 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
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
AxiomProver
model · ai model contributor · Axiom Math
Lineage and corrections
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
This event attributed to AxiomProver
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
Act on this frontier