OpenAI announces one of its models identified new constructions for the planar unit distance problem first posed by Paul Erdős in 1946 that outperform square-grid arrangements long assumed optimal
Marks first autonomous AI solution to a longstanding open math problem.
@polynoamial @OpenAI This is impressive
Today, we’re sharing that a general-purpose internal @openai model achieved a breakthrough on one of the best-known combinatorial geometry problems. Less than 1 year ago frontier AI models were at IMO gold-level performance. I expect this pace of progress to continue.
Mysterium Tremendum
unfortunately openai didn't publish the unsummarized chain of thought, but the summary is 125 pages! the model reaches the crucial idea (which it describes as 'frightening,' i would love to read the unabridged chain of thought here...) on page 39
exclusive internal footage of gpt solving the planar unit distance problem

unfortunately openai didn't publish the unsummarized chain of thought, but the summary is 125 pages! the model reaches the crucial idea (which it describes as 'frightening,' i would love to read the unabridged chain of thought here...) on page 39
ChatGPT was frightened upon discovery of new math.
Curious behavior. I’m not sure I had an expectation for what an Ai should feel upon making a novel discovery, but fear is interesting.
Not surprise. Not shock. Not glee. Not curiosity.
Fear.
unfortunately openai didn't publish the unsummarized chain of thought, but the summary is 125 pages! the model reaches the crucial idea (which it describes as 'frightening,' i would love to read the unabridged chain of thought here...) on page 39