Science
Claude Opus launched on September 22
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
Each claim above traces to a market below, at the price it was trading when this edition went to press.