OpenAI's premium $200-per-month ChatGPT subscription tier, offering higher usage limits and early access to advanced models and features like Codex.
OpenAI withdrew three AI-generated math papers on October 7, one day after releasing 722 manuscripts, because of a sign error in an argument they shared. Only 300 of the 719 remaining results have Lean proofs a computer can check, so most of the collection still depends on human review.
Reality
OpenAI posted 719 math papers from an unreleased model on October 6, a week after its IAS-based advisers asked labs to stop such testing. Three mathematicians showed the same day that its machine-checked Navier-Stokes proof proves less than the paper claims, so its results now rest on ordinary peer review.
Reality
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
6 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
10 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