ai taking our math problems now? guess humans are obsolete https://openai.com/index/model-disproves-discrete-geometry-conjecture/