Fermat’s last theorem formalised by AI agents in just 11 days
将费马大定理的证明转换为计算机可以检查的代码预计需要数年时间。 Anthropic 的 Claude AI 在不到两周的时间内完成了它
Beyond Venom and Constriction: Bite Performance and Trophic Ecology in the Genus Drymarchon
超越毒液和收缩：Drymarchon属的咬合性能和营养生态学摘要蛇表现出极端的颅骨运动，有利于摄取大横截面积的猎物，但人们普遍预测这种能力会由于结构刚度降低而降低咬合性能。因此，大多数体型较大的蛇在摄入猎物之前依靠毒液或收缩来制服猎物。 Drymarchon 属的物种代表了一个显着的例外：这些大型、无毒、非收缩性的蛇通常会捕食各种猎物，包括大型且具有潜在危险的脊椎动物，仅使用简单的捕获和锁定行为。在这里，我们量化了三种 Drymarchon 蛇（D. corais、D. couperi 和 D. melanurus）的咬合性能，检查咬合性能的形态学预测因子，比较类似大小的蛇的咬合压力和收缩压力
关于 Episinus maculipes Cavanna，1876 年在比利时：首次发现 15 年后范围显着扩大 摘要 Episinus maculipes，在 2010 年首次观测到之后，之前被认为在比利时非常罕见，现在重新评估。新数据显示观测数量急剧增加，特别是自 2020 年以来，反映了范围的迅速扩大，目前该物种在比利时所有省份都有记录。 E. maculipes 预计将在比利时广泛传播。Henrard, A.、Van Keer, J.、Janssen, M.、Jacobs, M.、Van Keer, K.、Bosmans, R.、Alderweireldt, M.、Logghe, G
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 沙特阿拉伯的哈伊勒地区，将该物种的已知分布范围扩展到该国北部。这一发现填补了该蜘蛛在中东分布的一个重要空白，并强调了即使是具有医学重要性的物种在阿拉伯半
Blue Origin rocket explosion sent sound waves 1,000 miles across the US, report finds
五月，当一枚新格伦火箭在佛罗里达州卡纳维拉尔角太空部队站爆炸时，它释放出的超低频声波远至德克萨斯州。研究人员估计，这次爆炸大致相当于 1986 年切尔诺贝利反应堆爆炸。
Mathematicians say these 60-sided dice are the fairest in the world. Designing them took 15 years.
一组数学家发现，五个 60 面的骰子，按照正确的数字排列，可以为任何一组玩家确定完全公平的回合顺序，并且平局的可能性为零。
来自 NASA Worldview 的一张图像显示，由于全球变暖，北极海冰变得多么脆弱，8 月 29 日，在北极附近可以看到大片开阔的水域。
记者兼作家 Lise Barnéoud 向 Live Science 讲述了她的书《隐藏的客人》，该书深入探讨了微嵌合体领域以及它如何改变我们对遗传学、免疫学和进化的知识。
Sabine Hossenfelder: “I Was Offered Money to Tell You AI Will Kill Us”
一张由阴暗动机、政治、阴险策略和意想不到的曲折组成的错综复杂的网络。但当谈到人工智能时，你还能期待什么？萨宾·霍森菲尔德 (Sabine Hossenfelder) 的帖子：“有人给我钱告诉你人工智能会杀死我们”，首先出现在 Watts Up With That? 上。
Betsy “Code Green” Rosenberg: Emotional Climatism
“请她/她罗森伯格。不要假设，辩论。不要假装，研究。检查门口的情绪和政治并开放你的思想。如果你患有‘气候焦虑’，有关于气候和能源的好消息。” （下）Betsy“Code Green”Rosenberg：情感气候主义一文首先出现在 Watts Up With That? 上。
New CFACT Report: ESA Implementation Is Severely Flawed
该报告认为，保护濒危物种仍然是一个有价值的目标，但 ESA 的实施需要重大改革，以更好地尊重产权、健全的科学和负责任的政府。新 CFACT 报告：ESA 实施存在严重缺陷首先出现在 Watts Up With That? 上。
Reality Check for PA’s Failed Green-Energy Mandates
每个月，宾夕法尼亚州的 600 万电力客户（全部面临着不断上涨的电费）都因价值可疑的服务而被收取费用，但他们不知道自己支付了多少钱，而且对于大多数人来说，这笔费用甚至存在。宾夕法尼亚州失败的绿色能源指令的现实检查帖子首先出现在 Watts Up With That? 上。
Met Office Admit Kew Is A Class 5 Junk Site
由于 WMO 规则明确规定 5 级站点不应用于气候学目的，我期待英国气象局从其网站上删除虚假的“记录温度”。英国气象局承认邱园是 5 级垃圾站点的帖子首先出现在 Watts Up With That? 上。
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? 上。
RGGI Update and the Auction Clearing Price Question
他们引用的机制作为消费者成本可控的证据 - 无法再完成他们设计的工作。RGGI 后更新和拍卖清算价格问题首先出现在 Watts Up With That? 上。
