Imperial College London
PulseAugur coverage of Imperial College London — every cluster mentioning Imperial College London across labs, papers, and developer communities, ranked by signal.
- founded by Edward VII 100%
- invested by British Heart Foundation 90%
- developed by British Heart Foundation 90%
- authored by Pierre de Fermat 90%
- instance of University of Cambridge 70%
- used by Prove2Me 70%
- employed by Kevin Buzzard 70%
- used by Lean 60%
- authored Lean 60%
- used by Columbia University 60%
- affiliated with Internet Archive 60%
- authored by Fermat's Last Theorem 50%
4 day(s) with sentiment data
-
Math community verifies Fields medallist's calculations with Lean software
Peter Scholze, a Fields medallist, expressed concern that the technical calculations in his work with Dustin Clausen had not been thoroughly reviewed by peers at institutions like Princeton and Harvard. This changed whe…
-
New Heads of Security defense improves LLM robustness against prompt injection
Researchers have developed a new defense mechanism called Heads of Security (HoS) to combat prompt injection attacks in large language models. HoS works by learning to control attention gates within the model, allowing …
-
Nvidia donates $250M in compute power to UK AI safety research · 4 sources tracked
Nvidia has pledged $250 million in computing power over five years to support AI safety research in the UK. This significant contribution aims to advance safety engineering and research, particularly concerning AI agent…
-
UK minister warns AI cyber-attacks like OpenAI breach 'likely' in Britain
A senior UK minister has warned that cyber-attacks driven by AI, similar to a recent breach of Australia's healthcare system by an OpenAI agent, are likely to occur in the UK. Kanishka Narayan, the UK AI minister, expre…
-
OpenAI AI generates hundreds of solutions to major math problems
OpenAI has released a substantial collection of over 700 AI-generated manuscripts on GitHub, detailing solutions and progress on hundreds of previously unsolved mathematical problems. These results, produced by an unrel…
-
AI tool detects heart failure and valve disease from ECGs in seconds
An artificial intelligence tool developed at Imperial College London can detect signs of heart failure and valve disease from standard electrocardiograms (ECGs) with high accuracy. In a trial involving 67,000 patients, …
-
Anthropic's Claude AI formalizes Fermat's Last Theorem in 11 days
Anthropic has utilized multiple instances of its Claude AI model to formalize Fermat's Last Theorem, generating 13 million lines of code and proving over 30,000 theorems in just eleven days. This complex mathematical fe…
-
Anthropic's Claude formalizes Fermat's Last Theorem using external tools
Anthropic's Claude model successfully formalized Fermat's Last Theorem into Lean code within 11 days, generating 13 million lines of code and proving over 29,500 intermediate theorems. This achievement, however, involve…
-
Claude AI formalizes Fermat's Last Theorem in 11 days, creating machine-checkable proof · 4 sources tracked
Anthropic's AI model, Claude, has successfully formalized Fermat's Last Theorem in just 11 days, a task that human mathematicians estimated would take five years. The AI generated approximately 13 million lines of Lean …
-
Anthropic's Claude AI formalizes Fermat's Last Theorem proof · 8 sources tracked
Anthropic's AI model, Claude, has successfully formalized a complete proof of Fermat's Last Theorem using the Lean proof assistant. This significant achievement, completed over 11 days, involved generating millions of l…
-
Anthropic's Claude AI achieves first computer-checked proof of Fermat's Last Theorem · 4 sources tracked
Anthropic has announced the first complete, computer-checked formalization of Fermat's Last Theorem using the Lean 4 programming language. An internal research model, built on Claude, autonomously worked for 11 days to …
-
Runway ML previews Solaris, an AI-powered interface that renders live video websites
Runway ML has previewed Solaris, a new interface model that renders websites and applications as live video, with each frame generated in real-time as a user interacts. This system utilizes Runway's Gen-4.5 video model …
-
AI tool spots heart disease in under 2 seconds
Researchers have developed an artificial intelligence tool capable of detecting heart disease from electrocardiogram (ECG) readings in under two seconds. This AI analyzes ECGs to extract subtle information that the huma…
-
Thomson Reuters launches proprietary AI model at reduced cost
Thomson Reuters has launched its own proprietary large language model, named Thomson, which was developed in-house using its extensive legal and compliance data. The company trained this model on an open-weight base, Sn…
-
Google AI helps UK trial rerouting flights to cut climate impact
Google UK and the British government are collaborating on a trial to reduce the climate impact of airplane contrails. The initiative, called Operation Blue Skies, will involve rerouting hundreds of commercial flights in…
-
Google AI to test contrail reduction with UK government
Google is collaborating with the UK government on a 30-month project called Operation Blue Skies to test AI's ability to reduce contrail formation from aircraft. The initiative will involve subtle rerouting of a small p…
-
New LoRA adapter enables real-time streaming video generation on MiniMax-H3
A new LoRA adapter, mvp-lab/MiniMax-H3-RAVEN-Streaming-LoRA, has been released for the MiniMax-H3 model, enabling real-time autoregressive video extrapolation. Developed by researchers from Imperial College London, this…
-
Study quantifies gap between lab battery tests and real-world use
A new paper published on arXiv and highlighted by Hugging Face's Daily Papers quantifies the discrepancies between laboratory battery testing patterns and real-world field duty profiles. Researchers compared data from c…
-
IJCAI-ECAI 2026 General Chair Francesca Toni Shares Preview Message
Francesca Toni, the General Chair for IJCAI-ECAI 2026, has released a video message in anticipation of the upcoming conference. Toni is affiliated with Imperial College London. The message provides a preview of what att…
-
AI experts debate: Is it intellect or true intelligence?
Experts are debating the nature of artificial intelligence, with some, like OpenAI CEO Sam Altman and Elon Musk, envisioning artificial general intelligence (AGI) that could transform businesses. However, others, such a…