An OpenAI model has disproved a central conjecture in discrete geometry(openai.com)
1339 points by tedsanders | 968 comments
OpenAI announcement that one of its models disproved a central conjecture in discrete geometry, with links to the proof and companion remarks.