# Claude Opus launched on September 22

*Science. 42% certain. Sunday, 27 September 2026*

> Speculative fiction assembled from prediction-market prices. This has not happened.

**Google Gemini Pro was slated for October 12-18, while Gowers' proof-software launch was delayed.**

Claude Opus launched on 22 September 2026. Google announced that its Gemini Pro model would arrive between 12 and 18 October 2026. A separate update confirmed that Gowers' point-and-click structured motivated proof software would not be released within the coming year.

The release date was confirmed on Wednesday, 23 September. Claude Opus became available on 22 September as planned. The launch proceeded without further delay.

Google disclosed the Gemini Pro timeline on Sunday, 27 September. The window narrows the expected availability to a single week.

A statement on Friday, 25 September, clarified the status of Gowers' proof software. The delay pushes the anticipated release beyond the previously discussed timeframe.

## Analysis

Companies will vie for developer attention and integration opportunities during this narrow window, potentially accelerating adoption cycles.

Developers and enterprises that rely on cutting-edge language models may need to adjust roadmaps to accommodate both products, weighing factors such as performance, licensing, and ecosystem support. The simultaneous availability could also spur comparative benchmarking, influencing procurement decisions across sectors.

The postponement of Gowers' structured proof software removes a planned tool from the formal verification pipeline for at least the next year. Researchers and engineers seeking automated assistance for motivated proofs will have to continue using existing solutions, possibly slowing progress in areas that depend on such specialized AI assistance.

## What this was built from

- **Next Claude Opus released on...?**: September 22, 76%; settles Wednesday, 23 September 2026 (polymarket). [Market](https://polymarket.com/event/next-claude-opus-released-onptptpt-20260915)
- **When will the next Google Gemini Pro model be released?**: October 12–October 18, 42%; settles Sunday, 27 September 2026 (polymarket). [Market](https://polymarket.com/event/when-will-the-next-google-gemini-pro-model-be-released-20260817144359068)
- **Gowers releases point-and-click structured motivated proof software in one year?**: No, 93%; settles Friday, 25 September 2026 (manifold). [Market](https://manifold.markets/ArtimisFowl/gowers-releases-pointandclick-struc)