▲ 9 r/DevelEire
An OpenAI model has disproved a central conjecture in discrete geometry
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
As someone who came from mathematics instead of comp sci, this is very impressive
u/Impossible_Dog_5485 — 16 hours ago