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.
@VictorTaelin Just curious - have you tried @Replit Agent? I feel like they are onto something special when it comes to a framework for creating a large project. Granted, there is still the context window issue, but a lot can still be tackled iteratively
@Sentdex I’ve had some very positive coding experiences with o1 pro. It’s not perfect, but has out performed any other model I’ve used, especially when making multiple simultaneous changes in large code base
@kimmonismus Will projects work with o1 / o1 pro? Was unclear to me from the demo. Given you can upload files, I’m guessing it may exclusively use 4o, which to me would be a bit of a disappointment