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

Prior state unknown→proved

Scope and record

Occurred: Mar 25, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-assisted. Imported under CC BY 4.0.

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

Ken Ono
human · human collaborator

Evan Chen
human · human collaborator

Jujian Zhang
human · human collaborator

David Kurniadi Angdinata
human · human collaborator

Jiaxin Zhang
human · human collaborator

Lineage and corrections

This event attributed to Ken Ono

This event attributed to Evan Chen

This event attributed to Jujian Zhang

This event attributed to David Kurniadi Angdinata

This event attributed to Jiaxin Zhang

This event attributed to AxiomProver

Act on this frontier