Fermat’s last theorem formalised by AI agents in just 11 days
将费马大定理的证明转换为计算机可以检查的代码预计需要数年时间。 Anthropic 的 Claude AI 在不到两周的时间内完成了它
Activity Determinants in Linear Spider Venom Peptide Fragments Against MRSA
线性蜘蛛毒肽片段抗 MRSAA 的活性决定因素摘要目的：利用神经网络，我们之前鉴定了对耐甲氧西林金黄色葡萄球菌 (MRSA) 具有活性的蜘蛛毒肽线性片段。其中，C 端酰胺的肽 IX (IWLSLMKFAGKHL-NH2) 显示出高抗菌效力，而其非酰胺化类似物肽 X 则无活性。肽 IX 掺入二油酰磷脂酰胆碱 (DOPC) 的两性离子多层脂质体中而不破坏它们，并且也掺入模仿 MRSA 细胞膜的二油酰磷脂酰甘油 (DOPG) 的阴离子脂质体中，导致双层破坏。本研究旨在阐明肽 X 失活的原因。方法：根据 1 H NMR 光谱，水中的肽 X 由 His12 残基的电离控制。 31P NMR 数据显示肽
图片来源：iNaturalist Photo 400937400，(c) Kian，保留部分权利（CC BY），由 Kian 上传，https://www.inaturalist.org/photos/400937400Latrodectus dahli Levi（Araneae：Theridiidae）的新寡妇蜘蛛记录扩展了沙特阿拉伯北部的已知范围摘要研究人员记录了首次确认的寡妇蜘蛛的出现达尔寡妇蜘蛛（Latrodectus dahlivn 沙特阿拉伯的哈伊勒地区，将该物种的已知分布范围扩展到该国北部。这一发现填补了该蜘蛛在中东分布的一个重要空白，并强调了即使是具有医学重要性的物种在阿拉伯半
Live at 1 PM ET: Four Climate Scientists Break the Alarmist Narrative— The Climate Realism Show#215
在本期《气候现实主义秀》中，我们将过去国际气候变化会议 (ICCC) 中的四场精彩演讲拼接在一起，这是 Heartland Institute 的旗舰气候活动，科学家、工程师和政策专家在会上用硬数据挑战主流气候叙事。美国东部时间下午 1 点直播的帖子：四位气候科学家打破危言耸听的叙事 — 气候现实主义秀#215 首先出现在 Watts Up With That? 上。
Ancient Human Teeth Uncover a Genetic Connection Hidden for 400,000 Years
直立人牙齿的牙釉质蛋白表明与丹尼索瓦人有遗传联系，同时为研究古代人类化石提供了一种破坏性较小的方法。一把古老的牙齿可能保存着某种关系的线索，而仅通过化石很难追踪到这种关系。中国古脊椎动物与古人类研究所（IVPP）的研究人员 [...]
Women Who Ate More Antioxidants Had Strikingly Lower Rates of Cervical Cancer
在全国范围内的分析中，饮食中富含抗氧化剂的女性的宫颈癌患病率显着降低。宫颈癌的诊断通常可追溯到一个主要原因：持续感染高危型人乳头瘤病毒 (HPV)。但仅感染并不能决定谁会患上癌症，这使得研究人员对其他因素感兴趣 [...]
This Self-Rebuilding Electrode Could Supercharge Green Hydrogen Production
随着变化而变得更加活跃的金属表面可以帮助绿色氢电解槽运行得更努力、更长久。中国科学院的研究人员开发出一种将五种金属结合在高熵反钙钛矿结构中的电极。该材料以多孔镍泡沫为支撑，帮助阴离子交换膜 (AEM) 电解槽维持工业 [...]
SpaceX Dragon Leak Delays NASA’s Next Astronaut Launch
SpaceX 的 Dragon 推进系统发生泄漏，导致 NASA 的 Crew-13 发射推迟，工程师们正在努力清理航天器的飞行情况。 NASA 和 SpaceX 在例行发射前处理过程中发现龙飞船推进系统中存在氧化剂泄漏，因此推迟了前往国际空间站的 Crew-13 任务。泄漏是 [...]
These Toads Are Surviving a Deadly Fungus – Scientists May Finally Know Why
早期开发多种抗菌肽可能有助于一些蟾蜍种群在毁灭性的壶菌爆发中生存下来。一种致命的真菌已经摧毁了世界各地的青蛙和蟾蜍种群，但即使病原体仍然存在，一些种群最终也开始恢复。由伦敦大学学院 (UCL)、ZSL 和伦敦帝国学院领导的研究人员现已确定 [...]
Startups Racing to Build 'Impossible' Space Crystals
乔纳森·奥卡拉汉 (Jonathan O'Callaghan)，科学焦点 “建造一个更好的捕鼠器，世界就会向你敞开大门。”这句话通常被认为是美国作家拉尔夫·沃尔多·爱默生的作品，可以追溯到...
This Star Has the Strangest Sky in the Galaxy
Phil Plait，《科学美国人》 宇宙中有很多奇怪的恒星，但如果非要选最奇怪的，那就是 S301。这个名字平淡无奇，但却隐藏着深奥....
Making Time to Talk About Life's End
Chloe Veltman，斯坦福大学长寿杂志 几十年来，美国对待生命终结的方法一直被框架为一系列法律或财务清单和预先指示，通常......
The State of the Aging World in 2060
Mitali Sen 和 Rachel J. Bacon，人口普查局 世界正以前所未有的速度变老。美国也是如此，其 65 岁及以上人口的比例预计将从...跃升...
Tea May Give Older People a Bone Boost
茶和咖啡是世界上最受欢迎的饮料之一，但研究人员仍在研究它们如何随着人们年龄的增长而影响健康。弗林德斯大学的一项长期研究表明，这两种饮料可能与老年女性的骨骼强度有不同的关系。这项研究对近 10,000 名 65 岁女性进行了跟踪调查，[…]《茶可能使老年人骨质增强》一文首先出现在 Knowridge Science Report 上。
Prolonged Sedentary Behavior Associated With Increased Cancer Risk, Study Finds
英国生物银行对 91,000 名成年人进行的一项研究发现，每小时不间断地坐着会使癌症死亡风险增加 9%，而打破久坐时间会降低该风险。
What Are the Best Claude Data Science Tools 2026?
2026 年最好的 Claude 数据科学工具包括用于自动数据清理的 Claude Data Wrangler Pro、用于快速探索性分析的 Anthropic Auto-EDA 引擎以及用于高级脚本编写的 Claude Python Co-Pilot。其他重要工具包括用于优化数据库查询的 Anthropic SQL Whisperer、用于算法治理的 Claude ML Model Validator 以及用于执行报告的 Narrative Data Storyteller。这些人工智能工具可实现工作流程自动化并加速预测建模。 Neon AI Analytics Workspace2026
ANN's Daily Aero-Linx (09.04.26)
Aero Linx：国际科曼奇协会 国际科曼奇协会是致力于派珀科曼奇飞机及其所有者的领先组织。我们拥有超过一千名会员，提供大量资源来帮助您使用科曼奇飞机，同时结交新朋友来分享您的经验。
Aero-News: Quote of the Day (09.04.26)
“这项拟议的出售将通过帮助提高战略伙伴的安全来支持美国的外交政策和国家安全......”并补充说，“将通过提高伊拉克的旋翼运输、侦察和空对地瞄准能力来提高伊拉克应对当前和未来威胁的能力。”资料来源：美国国务院已批准伊拉克购买战斗和通用直升机以及相关设备和服务的请求，总额约为8亿美元。美国国防部政治军事事务局表示，该套装包括贝尔 412EPX 通用直升机、贝尔 407M 战术和战斗直升机、GAU-19 三管机枪和 M260 七管火箭发射器，但没有透露具体数量。
