Josh

[OpenAI @OpenAI]

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.

[Josh @jswx33]

@NWSNewYorkNY @ryanhanrahan
14.5” at 9pm in Middlebury CT

[Josh @jswx33]

7.5” storm total in Middlebury CT
@NWSNewYorkNY @Eweather13 @ryanhanrahan

[Josh @jswx33]

@Eweather13 @ryanhanrahan 9pm observation is 6”

[Josh @jswx33]

3” in Middlebury at 7:20pm
@Eweather13 @ryanhanrahan

[Josh @jswx33]

@Eweather13 @ryanhanrahan Up to 4.5” at 8pm
Straight dumpage

[Josh @jswx33]

@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

[Josh @jswx33]

@NickMerianos I’m very sorry to hear, Nic. Sending my condolences to you and your family.

[Josh @jswx33]

@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

[Josh @jswx33]

@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

[Josh @jswx33]

@TheRealAdamG Will projects work with o1 / o1 pro?

[Josh @jswx33]

Around 4.5” in Middlebury, CT
@NWSNewYorkNY

[Josh @jswx33]

@ryanhanrahan Thanks, Ryan! Sure thing, this was in Middlebury

[Josh @jswx33]

Awesome lunar halo visible tonight!

[Josh @jswx33]

The fall drought has really taken a toll on my lawn

[Jake Montgomery @JakeMontgomery_]

Me, trying to buy World Series tickets

[Talkin' Yanks @TalkinYanks]

THE NEW YORK YANKEES ARE GOING TO THE WORLD SERIES!

[Josh @jswx33]

@WxmanFranz Disappointing, but a hell of a game

[Josh @jswx33]

@JohnExit74nj What a game this has been!

[Josh @jswx33]

@Jomboy_ 52F with gusty winds - gotta love October baseball!