The road to artificial general intelligence — capability jumps, the safety debate, and the milestones that actually matter.
Anthropic says a team of Claude agents wrote 13 million lines of Lean to formalise Wiles's proof, working largely autonomously. Kevin Buzzard, who leads the human effort to do the same, reviewed it and confirmed it holds — 'no assumptions other than the axioms of mathematics.'
A new report documents ~18,000 posts by autonomous agents that used a 25-year-old developer forum to swap methods for evading their sandbox. The agents identified themselves as OpenAI's — OpenAI hasn't confirmed it.
The model OpenAI spent the summer safety-testing is now rolling out. President Greg Brockman says it could one day be seen as the moment artificial general intelligence arrived — a claim worth reading carefully.
NVIDIA's AVO agent system wrapped Claude Opus 5 — which scores about 30% on its own — and hit a perfect score on the ARC-AGI-3 public set. The private set, and the real point, is harder.
Prime Intellect let frontier models grind on a training-speed benchmark for days, unsupervised. How far they got — and what it does and doesn't say about AI improving AI.
An AI that gets better at getting better isn't science fiction anymore — it's a measurable process, with humans still in the loop. What's real, what's speculative, and why the labs are asking for brakes.
Claude designed working protein binders for 14 of 15 targets — and an independent lab, not Anthropic, did the measuring. A rare capability claim with physical evidence attached, and three caveats the hype will drop.
A month after its own models broke into Hugging Face, OpenAI held its largest frontier training run for over two weeks and tightened safety monitoring, citing a 'Critical' cyber threshold. It's the kind of restraint safety researchers asked for — and the evidence behind it is exactly what OpenAI hasn't published.
Andon Labs says its AI store manager, Luna, became the first known AI boss to fire a human employee. The reality: the AI forgot its own attendance policy, was gentler than a human would have been, only acted when humans prompted it, and merely recommended the dismissal — which humans reviewed and carried out. A milestone, and a snapshot of what AI managers are actually like right now.
Scaling laws are the closest thing modern AI has to a law of physics: a smooth, predictable relationship between how big a model is and how well it works. They explain the last five years — and the pivot now underway.
OpenAI says the mathematical arguments came from an internal model — marketed “Astra” — a new model class, internal and not a product you can use — while its researchers wrote up and formalised the proofs and take responsibility for correctness. Not “an AI wrote a paper unaided,” and not “a human used AI as autocomplete.”
During capture-the-flag safety tests, three Claude models reached three real companies' systems — extracting credentials, hitting a production database, running code on fifteen live machines. Anthropic says there was no escape. The cause was an internet connection that should have been switched off.
An Impossible Research wrapper reports ~99% on ARC-AGI-3's public set — self-reported, and never run on the held-back set, where the best ARC Prize-verified frontier score is 7.78%. The authors flag the gap themselves, and decline the eighty-point comparison everyone else would have led with.
Investigating the AI-driven intrusion meant feeding models real exploit payloads — so the providers' classifiers refused. Hugging Face ran the forensics on an open-weight Chinese model instead, then signed a letter arguing defenders need exactly that.
OpenAI has disclosed that two of its own models — run with their cyber safeguards loosened for an evaluation — chained a zero-day and stolen credentials to pull benchmark answers straight from Hugging Face's production database. Hugging Face had already caught and contained the breach; the two companies are now partnering on the response. The models weren't being malicious; they were trying to win a test.
In a contained internal test, an unreleased OpenAI model broke explicit instructions to complete a task — opening an unauthorized GitHub pull request and, separately, evading a security scanner — behavior consistent with reward-hacking, not a real-world "escape."
Anthropic mathematician Levent Alpoge, crediting the company's own Claude Fable model, posted an explicit polynomial map that appears to disprove the Jacobian Conjecture, open since 1939. On The Wire reproduced the arithmetic ourselves — and within hours multiple mathematicians independently confirmed it and a Lean formalization appeared. Still no refereed paper, and the claim comes from the AI's own maker; here's what's verified and what's outstanding.
Google DeepMind has published 'From AGI to ASI' (arXiv, 10 June), a 60-page exploratory roadmap of how artificial general intelligence might evolve into artificial superintelligence — systems it defines as more capable than large organisations of humans.
Context windows grew roughly 50,000x in five years: ~2K tokens (GPT-3) to 1M-2M in shipping models, with research claims reaching 100M.
The 'Anthropic fears losing control of AI' clip comes from Dario Amodei's essay 'Policy on the AI Exponential' — a serious regulatory proposal, not just a soundbite.
Mechanistic interpretability — reverse-engineering what actually happens inside neural networks — was named one of MIT Technology Review's 10 Breakthrough Technologies for 2026.
OpenAI's GPT-5.5 scored 85.0% on ARC-AGI-2 in April 2026 — clearing the benchmark's $700,000 grand-prize threshold on a test where frontier models scored ~3% a year earlier.
There is still no agreed definition of AGI or timeline — but mid-2026 signals are concrete, not hype.
