Today, Iโm launching my newco, NavigateAI. We are short hundreds of thousands of skilled workers and we're on a mission to give every field worker an AI copilot, so they can build faster and better when we need it most. https://t.co/8eOtvosfOn
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.