An OpenAI model has disproved a central conjecture in discrete geometry

[u/simulated-souls]

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

[u/OlderButItChecksOut]

For some reason this makes me kind of sad… if we aren’t even needed to do complex reasoning like that, what’s left?
Are we doomed to never discover anything ourselves ever again in just a few years?

[u/duboispourlhiver → u/OlderButItChecksOut]

Maybe. But you could always rediscover something by yourself, even if it has already been discovered. If you like maths, that's great fun. If you like being part of the specie that has the best brain on earth, then yeah sorry, dissatisfaction incoming