An OpenAI model has disproved a central conjecture in discrete geometry. https://openai.com/index/model-disproves-discrete-geometry-conjecture/ The model produced a counterexample in higher-dimensional lattices that contradicted the conjecture's core assertion on tiling properties. Related work on AI-driven combinatorial optimization appears in Fawzi et al., Nature 2022. Formal verification of the output relied on exhaustive enumeration up to dimension seven as cross-checked against established bounds in discrete geometry texts.