OpenAI's Next Model Solves 10 Math Problems for $2K in Tokens
rohanpaul_ai · x · 2026-08-04
A user pointed out that $2K in token costs is cheaper than sending two people to an academic conference, fundamentally changing the economics of tackling open research problems.
OpenAI revealed that an internal version of its next major model resolved 10 long-standing open problems in mathematics and theoretical computer science. The process consumed roughly $2,000 worth of tokens and generated complete Lean formal certificates.
More from AGI Musings
- Why you shouldn't press the 'replace this universe' button: an alignment debate — jd_pressman · 2026-10-16
- On successionism: current people actually exist, so no universe-swapping button — jd_pressman · 2026-10-16
- Meta scales back AI agent plans as staff clean up after the machines — SumitGup · 2026-10-16
- RFdiffusion3 debuts in Science: generative AI designs proteins and nucleic acids atom by atom — AllThingsApx · 2026-10-16
- Researcher: 'Guru-like' rhetoric fuels claims that AI safety is a cult — jd_pressman · 2026-10-16
- Comparing AI data centers to 1900s power buildout: the anti-DC craze will look silly in a decade — GabGarrett · 2026-10-16