
Dante
737 posts

Dante
@thedntx
𝘀𝘁𝘂𝗱𝘆𝗶𝗻𝗴 𝗻𝗲𝘄 𝘁𝗲𝗰𝗵 || 𝗱𝗶𝘃𝗶𝗻𝗴 𝗶𝗻𝘁𝗼 𝗔𝗜 𝗲𝘃𝗲𝗿𝘆 𝗱𝗮𝘆









the China military actually has drones disguised as birds now 🤯





Omnimals 🐔+🐕=



it's important, i think, to resist the temptation to ship garbage








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.



just quick napkin math on how long this took (unless i missed where they said): the published CoT summary is 111,145 tokens long. it's really hard to say how much they summarized, assume 3x-20x reduction in tokens? and i'm assuming this is gpt-5.6 pro, so taking Artifical Analysis' benchmark of 51ms tok/sec at 100k input for gpt 5.5. underestimate prob hard to say this seems a bit low so going to multiply all of this by 2x then this probably took anywhere between 5 hours to 32 hours. so like $120 - $1000 in gpt 5.5 pro tokens whole point is not that long for a result of this magnitude!








