Gemini 4 Argon is our next era of frontier intelligence. It shows significant improvements across benchmarks, setting a new state of the art for real-world long-horizon software engineering tasks.

The first bug is "Softmax Collapse", first identified (but not directly fixed) by Prieto et al. 2025. When one logit is much larger than the others, its gradient silently rounds to zero (see figure), but the others *don't*, causing gradients to not sum to zero. Here's the fix:

Over 400 academics in 30+ countries signed our open letter calling for immediate changes in AI development and deployment practices to ensure that cybersecurity incidents do not continue to occur, as future incidents will be far more damaging to our critical infrastructure.

A counterexample to Vaught’s conjecture for infinitary logic has been verified in Lean! In joint work with Nate Ackerman and Robin Knight, we developed and formalized a construction based on Knight’s unpublished manuscript.

NON COMPETES BANNED Today, the PM has announced that his Government will legislate to functionally ban non-compete agreements for startups and scaleups in the UK or as he called it - the Bosman ruling for ruling for the innovation sector' 😂 At the @StartupCltn been working on this for months and we think it’s a huge potential unlock for our tech ecosystem. Here’s what you need to know… - Measures to functionally ban non-competes for startups and scaleups in the UK are going to be set out. - There will also be consultation on a wider set of restrictive practices including gardening leave. - More detail on these plans at the budget in a few weeks (Wednesday 28th October) including a timetable for consultation with a view to legislation in the coming months. We think this is a huge move and so do lots of friends including so many of the great founders that signed the letter with Inherent just the other week. Why? Because talent matters and mobile talent means startups can build. The Valley was built on free-flowing talent. In the UK, we’re now seeing our own versions of this story with companies being built from alumni of both homegrown firms like Revolut and beyond. But we need that to move faster. Hiring and building faster means British startups and scaleups can grow faster. Barriers to that slow our ecosystem down. We won’t pretend it will be perfect, and people (including some of our friends but also lots of fairly vested interests too) will have a right to disagree. But we think that startups will thrive and win in a faster paced Britain. So we are delighted with the progress today - as part of a strong speech by the PM outlining his ambition for building the world’s leading innovation nation including more on tax, growing companies outside London and more. But this is the start, not the end of the process. The announcement launches a consultation. It doesn't mean the issue is settled. How far reform goes, and what it looks like on the ground, is still to be decided. The Prime Minister today has done something that can materially impact the trajectory of the UK tech ecosystem and with it our economy - but only if we make sure it’s delivered. So, the real work starts now.

We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math