100% pure human copium about OpenAI solving Erdős problems

A reasoning model from OpenAI has disproved a conjecture by mathematician Paul Erdős on unit-distance geometry that stood open since 1946 - using tools from algebraic number…

100% pure human copium about OpenAI solving Erdős problems