TX_307321· AI
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].
