
My
2.7K posts









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, 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.








Every closed model gets justified on safety. The actual reason is usually that the company wants to keep its lead. John's test for any closed-model claim: prove it beyond reasonable doubt in a FISA-style closed hearing that the model causes more harm than good, and that the harm outweighs the centralization risk of keeping it closed. No closed model would pass. None of them are currently asked to. John: "Safety is always the excuse used when the real agenda is something else."





