Karina(@karinanguyen):o1-preview was released 1 year 10 months ago btw. makes me think the lifespan of some open problems is partly a function of compute. the important detail here is that finding these ten solutions took roughly $2k of inference. human mathematicians have always worked under tiny search budgets, forcing them to discard unlikely directions early. models can keep thousands of low-probability paths alive until one yields a proof or insight. as compute scales, the set of economically discoverable ideas expands.

2026.08.01 17:17

o1-preview was released 1 year 10 months ago btw. makes me think the lifespan of some open problems is partly a function of compute. the important detail here is that finding these ten solutions took roughly $2k of inference. human mathematicians have always worked under tiny search budgets, forcing them to discard unlikely directions early. models can keep thousands of low-probability paths alive until one yields a proof or insight. as compute scales, the set of economically discoverable ideas expands.

Noam Brown@polynoamial

2026.08.01 08:17

An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science. We believe it will be a major step for scientific reasoning.