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.
#1088Andrea Montanari@ANDREA__MI can recognize some faces here 😀
OpenAI@OpenAIToday, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
#1332Prakash@8TEAPIroughly a month late… and directly from OpenAI using a general model rather than a scaffold company
OpenAI@OpenAIToday, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
@polynoamial @OpenAI This is impressive
Noam Brown@polynoamialToday, 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.
#1333Shaun Maguire@SHAUNMMAGUIREMost predictions I've made about hardware timelines have been too optimistic
Most predictions I've made about AI timelines have been too pessimistic
This field is moving so quickly
Incredible milestone
OpenAI@OpenAIToday, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
#1488Samuel Hammond 🦉@HAMANDCHEESEMysterium Tremendum
thebes@voooooogelunfortunately 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
#1499thebes@VOOOOOOGELexclusive internal footage of gpt solving the planar unit distance problem
thebes@voooooogelunfortunately 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
#1894Nick Dobos@NICKADOBOSChatGPT 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.
thebes@voooooogelunfortunately 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