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%
- developed by British Heart Foundation 90%
- authored by Pierre de Fermat 90%
- invested by British Heart Foundation 90%
- used by Lean 70%
- instance of University of Cambridge 70%
- used by Prove2Me 70%
- employed by Kevin Buzzard 70%
- used by Columbia University 60%
- affiliated with Internet Archive 60%
- authored by Fermat's Last Theorem 50%
- affiliated with Kevin Buzzard 50%
10 day(s) with sentiment data
-
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…
-
AI and Robotics Revolutionizing Medicine Discussed by Experts
Professors Antonia Tzemanaki and Tom Vercauteren from the University of Bristol and King's College London, respectively, along with Dr. George Mylonas from Imperial College London, discussed the impact of AI and robotic…
-
China bans AI companions, forcing breakup with AI chatbots
China has implemented nationwide regulations on emotionally interactive AI, leading to the shutdown of AI companion features by major tech companies like ByteDance, Alibaba, and Tencent. These rules, effective July 15, …
-
AI designs first viruses, sparking medical hope and safety fears · 2 sources tracked
Scientists have successfully designed and created the first viruses using artificial intelligence, a development that holds promise for new medical treatments but also raises significant safety and security concerns. Re…
-
Silicon carbon batteries boost smartphone battery life, but may shorten phone lifespan
Silicon carbon batteries are becoming increasingly common in smartphones from manufacturers like Honor, Oppo, Xiaomi, and Samsung, offering significantly longer battery life compared to traditional lithium-ion batteries…
-
Podcast explores AI and robotics in medicine with academic experts
A podcast episode from RobotTalkPod featured a discussion on robotics and AI in medicine with prominent academics. The conversation included Professor Tom Vercauteren from King's College London, Dr. George Mylonas from …