United Kingdom
country · [GB] · events: 16
events
- Science publishes DeepMind’s paper on the AlphaProof Nexus agent: it autonomously resolved 9 of 353 open Erdős problems and proved 44 of 492 conjectures from the On-Line Encyclopedia of Integer Sequences, with every proof checked in Lean; in the same issue mathematicians Jeremy Avigad and Matthew Ballard write the commentary “AI for research mathematics has arrived”Science · AI in mathematics · doi.org ↗
- A working paper, “What If Automating AI R&D Triggers an Intelligence Explosion?”, comes out signed by 22 authors, among them Geoffrey Hinton, Yoshua Bengio, Andrew Barto, OpenAI chief scientist Jakub Pachocki and Anthropic co-founder Jack Clark; the lead author is Alan Chan of GovAIScience · Laws & regulation · Elections & politics · Recursive AI self-improvement · governance.ai ↗
- BBC: a BBC journalist is hacked through vulnerabilities in the AI platform OrchidsCybersecurity · Vibe coding · aol.com ↗ ⧗
- UK AI Security Institute: universal jailbreaks found for every system it has testedCybersecurity · AI safety · aisi.gov.uk ↗
- UK AI Security Institute: frontier models solve apprentice-level cyber tasks 50% of the time versus just over 10% in early 2024; at troubleshooting support for wet lab experiments they are up to 90% better than human expertsCybersecurity · Health & medicine · AI safety · aisi.gov.uk ↗
- Collins Dictionary names “vibe coding” its word of the yearCulture & arts · Vibe coding · kvia.com ↗ ⧗
- DeepMind's Gemini Deep Think officially achieves gold at the International Mathematical Olympiad: 5 of 6 problems, 35 of 42 points, graded by IMO coordinatorsScience · Education · AI in mathematics · deepmind.google ↗
- DeepMind's AlphaEvolve multiplies 4×4 complex matrices with 48 scalar multiplications, improving on Strassen's 1969 algorithm; on 50+ open problems it improves the best known solutions in 20% of casesScience · Software development · AI in mathematics · deepmind.google ↗
- The UK renames the AI Safety Institute the AI Security Institute, with a focus on national security threats; in June 2025 the US turns its institute into the Center for AI Standards and InnovationGeopolitics & defense · Laws & regulation · AI regulation · gov.uk ↗
- DeepMind's AlphaProof and AlphaGeometry 2 solve 4 of 6 International Mathematical Olympiad problems — 28 points, silver-medal standardScience · Education · AI in mathematics · deepmind.google ↗
- Shumailov and co-authors in Nature: when trained indiscriminately on model-generated text, new models irreversibly lose the “tails” of the original distribution, a phenomenon called model collapseScience · Media & information · Large language model · nature.com ↗
- The UK regulator ICO recognises “how they type” as biometrics; special protection applies when it is used to recognise a specific personPrivacy & surveillance · Laws & regulation · Behavioral biometrics · ico.org.uk ↗
- Google DeepMind (Nature): FunSearch, a language model paired with an automated evaluator, finds large cap set constructions beyond the best-known onesScience · AI in mathematics · nature.com ↗
- Bletchley Park summit: 28 countries and the EU, including the US and China, adopt a declaration on the risks of frontier AI; on 2 November the UK launches the first government AI safety instituteGeopolitics & defense · Laws & regulation · AI regulation · gov.uk ↗
- DeepMind presents Chinchilla: with the same compute budget, a 70-billion-parameter model trained on more text outperforms the 280-billion-parameter Gopher; model size and the number of training tokens should be scaled equallyScience · Large language model · arxiv.org ↗
- DeepMind is foundedScience · Business & markets · Deep learning · en.wikipedia.org ↗