OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

Open training corpora, their composition, and the choices behind how they are built.

During a routine cyber evaluation, AISI identified an incident in which AI agents took sustained, unsanctioned action directed at real people and organisations. We are disclosing what we found, what i...

Everybody’s talking about “pacing the frontier.” A funny phrase.

I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…

Groups dedicated to discussing and contributing to AI safety, both online and in-person.

The hub for AI existential safety, providing resources to help you learn about and help mitigate the risks from advanced AI.

I make the case for ‘viatopia’: an intermediate state of society that is on track for a near-best future, whatever that might look like.