OpenAI model disproves Erdős geometry conjecture

View on Reddit

OpenAI's model disproved a long-standing discrete geometry conjecture (an Erdős problem), according to an official blog post. An OAI researcher called it 'the biggest deal in the history of AI so far' and predicted it would 'look like a small deal at the end of the year.'