Model Releases

proof too complicated, Claude help ELI5

proof too complicated, Claude help ELI5 Today, 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, mathematician

DGX agentx-post
model-releasesjerry-liu--x

proof too complicated, Claude help ELI5 Today, 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, …

Source: Jerry Liu (X) | 2026-05-21

Loading related sources…