#formal-reasoning

OpenAI model disproves Keller's conjecture in discrete geometry

An OpenAI model has disproven Keller's conjecture in discrete geometry by finding a counterexample in seven-dimensional space, using formal reasoning and search algorithms [OpenAI Blog].