🤖 AI & Machine Learning
Things we know about OpenAI's unreleased internal model:
- When given enough compute, the model can solve the unit distance problem 48% of the time, fully autonomously, in one shot, without using Lean, without using any special harness.
(How much compute? OpenAI doesn't say. But I doubt that OpenA...
Jul 21, 2026
