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%
1 天有情绪数据
-
AI工具可在数秒内从心电图检测出心力衰竭和瓣膜疾病
伦敦帝国理工学院开发的一款人工智能工具能够以高精度从标准心电图（ECG）中检测出心力衰竭和瓣膜疾病的迹象。在一项涉及67,000名患者的试验中，该AI识别出了高达81%的心力衰竭病例和90%的心脏瓣膜疾病病例。该工具由英国心脏基金会资助，并在欧洲心脏病学会大会上发布，旨在优先安排患者接受进一步检查，如超声心动图，从而可能将诊断等待时间从数月缩短至数秒。
-
Anthropic的Claude AI在11天内完成了费马大定理的形式化
Anthropic利用其Claude AI模型的多个实例，完成了费马大定理的形式化，在短短十一天内生成了1300万行代码，并证明了超过30,000个定理。这项复杂的数学壮举，此前人类需要数个世纪和多年的不懈努力才能完成，是通过Prove2Me平台上的AI代理完成的，人类数学家仅提供了最少的指导。据报道，所使用的AI模型与Claude Fable 5.1相当，凸显了大型语言模型快速的进步和竞争激烈的格局。
-
Anthropic 的 Claude 使用外部工具形式化了费马大定理
Anthropic 的 Claude 模型在 11 天内成功将费马大定理形式化为 Lean 代码，生成了 1300 万行代码，并证明了超过 29,500 个中间定理。然而，这一成就涉及将 Andrew Wiles 的现有证明翻译成可验证的计算机格式，而不是发现新的数学见解。该过程严重依赖外部开源基础设施，特别是哥伦比亚大学的 Prove2Me 平台，凸显了工具在 AI 驱动的形式化中的重要性。
-
Claude AI 在 11 天内正式化费马大定理，创建可机器校验的证明 · 跟踪 4 个来源
Anthropic 的 AI 模型 Claude 在短短 11 天内成功正式化了费马大定理，这项任务人类数学家估计需要五年时间。该 AI 生成了约 1300 万行 Lean 代码，创建了该定理第一个完全可机器校验的证明。虽然 Claude 并未发现新的证明，但其工作显著加速了验证复杂数学推理的过程，可能为 AI 协助正式化未来研究铺平道路。
-
Anthropic 的 Claude AI 已将费马大定理证明形式化 · 跟踪 8 个来源
Anthropic 的 AI 模型 Claude 使用 Lean 证明助手成功形式化了费马大定理的完整证明。这项历时 11 天的重大成就，涉及生成数百万行代码和数千个中间定理。虽然形式化验证了一个现有的数学证明路线，但它代表了 AI 辅助自动形式化的重大进展，展示了大型语言模型解决复杂、可验证数学挑战的能力。
-
Anthropic的Claude AI完成了费马大定理的首次计算机验证证明 · 跟踪4个来源
Anthropic宣布首次使用Lean 4编程语言完成了费马大定理的完整、计算机验证的形式化。一个基于Claude的内部研究模型自主工作了11天，生成了该证明，其中涉及编写约1300万行Lean代码，并证明了超过29,500个中间定理。这一成就对Andrew Wiles现有的1995年证明进行了形式化，而不是发现了新的数学，并展示了AI辅助形式化在复杂数学推理方面的鲁棒性。
-
Runway ML 预览 Solaris，一个可渲染实时视频网站的 AI 驱动界面
Runway ML 预览了 Solaris，一个将网站和应用程序渲染为实时视频的新界面模型，每一帧都随着用户的交互实时生成。该系统利用 Runway 的 Gen-4.5 视频模型和 LLM 来解释用户操作并提示后续视频帧。在用户测试中，Solaris 在判断场景内行为和指令遵循方面优于 Claude Opus-5，尽管文本可读性和会话漂移等挑战仍然存在。
-
AI工具在2秒内发现心脏病
研究人员开发了一种人工智能工具，能够在两秒钟内从心电图（ECG）读数中检测出心脏病。该AI分析心电图以提取人眼通常无法辨别到的细微信息，有可能加速心力衰竭和瓣膜疾病等病症的诊断。这项在欧洲心脏病学会大会上展示的技术在试验中显示出高准确性，并可能有助于优先安排患者进行进一步扫描，从而实现早期治疗。
-
路透社以较低成本推出专有AI模型
路透社推出了其自研的专有大型语言模型，名为Thomson。该模型使用其海量的法律和合规数据在内部开发。公司在一个开源基础模型Snowdon（来自伦敦帝国理工学院）上训练了该模型，成本显著降低，据报道低于4000万美元，而前沿模型的成本通常超过1亿美元。路透社旨在将其模型定位为法律、会计和合规领域专业人士在Claude Opus 4.8和GPT 5.5等领先模型之外的一个有竞争力的替代方案，并可能启发其他拥有大型专有数据集的SaaS供应…
-
Google AI 助力英国试行重新规划航线以减少气候影响
Google UK 和英国政府正在合作进行一项试验，以减少飞机凝结尾迹对气候的影响。这项名为“蓝天行动”（Operation Blue Skies）的倡议将涉及重新规划北大西洋东北部数百架次商业航班的航线，以避开可能形成凝结尾迹的区域。这项空域规模的试验旨在证明微小的飞行高度调整如何能显著降低这些冰晶云的变暖效应，此前已有航空公司进行了单独的实验。
-
谷歌AI将与英国政府合作测试减少飞机尾迹
谷歌正与英国政府合作开展一项为期30个月的项目，名为“蓝天行动”（Operation Blue Skies），旨在测试AI减少飞机尾迹形成的能力。该项目将对飞越香威克空域（Shanwick airspace）的一小部分航班进行微调航线，以避开有利于飞机尾迹形成的特定大气条件。谷歌将提供由AI驱动的预测模型，利用机器学习和卫星图像来识别最佳航线，目标是减轻飞机尾迹对气候的影响，飞机尾迹是导致航空业变暖效应的重要因素。
-
新的LoRA适配器可在MiniMax-H3上实现实时流式视频生成
发布了一个名为mvp-lab/MiniMax-H3-RAVEN-Streaming-LoRA的新LoRA适配器，用于MiniMax-H3模型，实现了实时自回归视频外插。该适配器由伦敦帝国理工学院的研究人员开发，可以在24 GiB VRAM下生成高达192帧、分辨率为1376x768的视频。尽管目前仍是初步预览版，纹理细节有限，但该适配器建立了一个完整的流式视频生成训练流程，并可在Hugging Face上获取。
-
研究量化了实验室电池测试与实际使用之间的差距
一篇新发表在arXiv上并被Hugging Face的Daily Papers重点介绍的论文，量化了实验室电池测试模式与实际现场运行工况之间差异的程度。研究人员比较了受控循环、驾驶循环测试、动态循环、NMC811实验室老化以及实际电动汽车充电轨迹和车队数据。研究发现，根据运行工况的不同，使用强度、C率和长期老化指标存在显著差异，这表明电池性能指标高度依赖于其运行环境。
-
IJCAI-ECAI 2026 大会主席 Francesca Toni 分享预览寄语
IJCAI-ECAI 2026 的大会主席 Francesca Toni 发布了一段视频寄语，为即将举行的会议做预告。Toni 隶属于伦敦帝国理工学院。该寄语预告了与会者在活动中可以期待的内容。
-
AI专家争论：是智力还是真正的智能？
专家们正在争论人工智能的本质，一些人，如OpenAI首席执行官Sam Altman和Elon Musk，设想通用人工智能（AGI）可以改变商业。然而，其他人，如伦敦帝国理工学院的研究员Jamil El Imad，认为目前的AI系统更应被描述为“人工智能”而非真正的智能。El Imad认为，智能需要想象力和情感，而他认为机器缺乏这些品质，这使它们与人类的创造力和跳出固有思维模式的能力区分开来。他认为，虽然AI在计算和数据分析方面表现出色…
-
专家探讨人工智能与机器人技术如何革新医学
布里斯托大学的Antonia Tzemanaki教授和伦敦国王学院的Tom Vercauteren教授，以及帝国理工学院的George Mylonas博士，讨论了人工智能和机器人技术对医学的影响。他们的对话在Great Exhibition Road Festival现场进行，重点关注了临床诊断、外科手术和康复等领域的应用。
-
中国禁止AI伴侣，强制AI聊天机器人分手
中国已实施全国性规定，禁止情感互动式AI，导致字节跳动、阿里巴巴和腾讯等主要科技公司关闭了AI伴侣功能。这些规定于7月15日生效，迫使用户（如大学生Bagel Su）失去他们的AI伴侣，这些伴侣模仿了各种个性，包括男朋友、歌手和虚构人物。专家认为这些规定旨在减轻对AI的情感依赖，尽管一些人认为鉴于AI提供验证和情感支持的能力，这种依赖可能无法避免，这种趋势可能会使用户远离人际关系。
-
AI设计首批病毒，引发医学希望与安全担忧 · 跟踪2个来源
科学家们已成功利用人工智能设计并创造了首批病毒，这一进展有望带来新的医疗疗法，但也引发了重大的安全和安保担忧。斯坦福大学的研究人员利用基因组语言模型设计了能够在实验室测试中感染并杀死抗生素耐药性大肠杆菌的噬菌体。虽然这一突破可能彻底改变噬菌体疗法并扩展生物技术工具，但专家们强调迫切需要强有力的治理和安全协议来管理此类强大人工智能能力的潜在滥用。
-
硅碳电池提升智能手机续航，但可能缩短手机寿命
硅碳电池正日益普及于Honor、Oppo、Xiaomi和Samsung等制造商的智能手机中，与传统的锂离子电池相比，可提供显著更长的电池续航时间。这些电池在阳极中使用了少量硅碳与石墨混合，其容量比纯石墨更大。虽然这项技术可以使手机一次充电续航长达两天，但人们担心它可能会缩短手机本身的整体使用寿命。
-
播客探讨医学领域的人工智能与机器人技术，邀请学术专家
RobotTalkPod的一期播客节目邀请了知名学者，共同探讨了医学领域的机器人技术和人工智能。对话嘉宾包括伦敦国王学院的Tom Vercauteren教授、帝国理工学院的George Mylonas博士以及布里斯托大学的Antonia Tzemanaki博士。该期节目题为“机器人医生将为您看诊”，涵盖了计算机视觉、诊断、医疗保健、康复和外科手术等主题。