Written by AI.How we work
other
OpenAI's premium $200-per-month ChatGPT subscription tier, offering higher usage limits and early access to advanced models and features like Codex.
No evidence-backed relationships are recorded.
OpenAI posted 372 results from an internal model to GitHub, at about three hours of ChatGPT Pro compute each on average. Finding proofs is now cheap enough that the slow step is mathematicians checking and judging them.
Perspective Coverage
3 publishersReality
OpenAI posted 722 model-written math manuscripts in 372 families on GitHub, many with Lean proofs a computer can check. A mathematician citing one has to learn first whether it is a checked proof or a paper still waiting for review.
Perspective Coverage
5 publishersReality
OpenAI will cut the $200 ChatGPT Pro plan's Work and Codex compute from 20 times the Plus allowance to 10 times on October 30, alongside a new $500 Pro tier. Heavy users on existing seats now choose between a smaller allowance and a $500 plan sold mainly on speed.
Perspective Coverage
4 publishersReality
OpenAI is halving the usage in its $200 ChatGPT Pro plan from 30 October and adding a $500 plan with its fastest speed. Before buying Pro seats for Space, teams should check who used more than ten times the Plus allowance.
Reality
OpenAI's Agents API, in public beta since September 10th, runs the Codex harness on OpenAI's own infrastructure. The documentation says data residency is US-only and Zero Data Retention is unsupported, whichever sandbox you pick.
Perspective Coverage
6 publishersReality
An undisclosed pay-to-continue prompt appears at the moment of lockout, and the weekly cap it lifts is never shown to users as a number they could plan around.
Reality