// 1 transmissions tagged with #formal-reasoning
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].