https://openai.com/index/model-disproves-discrete-geometry-conjecture/