AI helped produce two proofs for the same cryptography problem
麻省理工学院博士学生和两名加州大学系统密码学家以不同方式使用 GPT-5.6 Sol Ultra，引发了有关独立发现和科学信用的新问题
科学家们表示，利用 IBM 的量子计算机，他们在三个不同的实验中表明，量子计算机在有用计算方面可以超越经典机器。
500-year-old Inca mummies prove that European colonists brought devastating smallpox to the Americas
来自智利木乃伊的古代 DNA 是欧洲殖民者将天花带到美洲并导致土著人口大量死亡的第一个分子证据。
Windows XP исполняется 25, и она по-прежнему обходит Windows 8 по популярности
这款传奇操作系统仍是成功产品的标杆，证明真正高质量的软件能够经历不止一代继任者。
DAF accelerates joint C2 with AI, Space Force integration in latest DASH experiment
在一项节奏紧凑的两周实验中，空军部继续证明，人机协作——整合人工智能处理繁重数据处理，使人类操作员能更快、更明智地决策——可以显著……
War With Iran: Time for a Rethink
剩下的霍梅因主义者……希望战争继续以低强度进行，以保持他们的“抵抗”主张，并推迟民众对他们摇摇欲坠的统治不可避免的愤怒火山爆发。他们需要战争来继续证明他们的失败是正当的
AI in cardiology: The path to practical application carries risks
Hannah van Kolfschooten 博士（照片：zVg）。作者：Yvonne Vahlensieck 欧盟的一项新战略更加强调人工智能在心脏病管理中的应用。法律研究员 Hannah van Kolfschooten 认为这还为时过早。除此之外，她批评了这样一个事实，即尚未证明对患者有具体的好处，并且 [...]
Women's Asia Cup semis and final schedule: Check qualified teams, dates, timings and other details
巴基斯坦队在小组赛最后一场比赛中取得全面胜利，晋级半决赛。他们将在9月11日的第二场半决赛中对阵斯里兰卡。纳什拉七分六柱的出色保龄球数据被证明是决定性的。她在 T20 国际比赛中创造了巴基斯坦女子最佳保龄球表现。这场胜利确认了巴基斯坦在八队锦标赛中的晋级。
That sound you hear is not the world ending – it’s liberalism being monstered | Waleed Aly
事实证明，我们大多数人不再相信进步。当这种情况发生时，对于我们这样的社会来说，它很快就会成为一场危机获取我们的突发新闻电子邮件、免费应用程序或每日新闻播客根据您的政治观点，怪物无处不在。也许你会以科技亿万富翁和他们正在开发的人工智能的形式看到他们。也许你在社交媒体的垃圾堆中看到了他们之前留给我们的，或者是拒绝告诉你“真相”的传统媒体。你可能会在马诺圈或教导我们孩子性别流动性的机构中看到他们。也许你会在郊区挥舞砍刀的移民青年身上看到他们的身影，或者在贝尔法斯特街头试图斩首某人的难民身上看到他们的身影。或者你可能会在暴力的反移民暴徒中看到他们，他们焚烧房屋作为回应。如果是这样，你很可能会在澳大利亚
没有人预料到 B-25 杜立特突袭会造成物质损失。炸弹装载量太轻，每个参与计划的人员在飞机离开甲板之前就知道这一点。相反，它所做的是证明日本的城市是可以到达的，而其后果却落在了规划者没有权衡的地方。占领中国东部的日本军队对涉嫌庇护幸存美国船员的社区进行了报复。据估计，在接下来的几个月里，有 25 万中国平民被杀。
Twin towers research refutes 9/11 conspiracy theories
剑桥大学的一位学者对六年前的纽约 9 月 11 日恐怖袭击事件进行了新的数学分析，粉碎了围绕六年前纽约发生的恐怖袭击的阴谋论。剑桥大学工程系高级讲师基思·塞芬 (Keith Seffen) 使用既定的工程模型证明，双子塔一旦开始倒塌，就注定会迅速而全面地倒塌。继续阅读...
新学年开始时自我优化的压力可能会导致失望和倦怠。相反，这里有七种方法可以让事情放慢脚步并从中受益。九月是我们学生时代的宿醉，感觉像是一个重新开始忙碌的时间。和一月份一样，我们有一种感觉，我们应该以更好的工人、合作伙伴、朋友和父母的身份回归。现在，优化文化已经占据主导地位，这种感觉更加强烈，在所有东西上添加“maxx”的时尚就证明了这一点。然而，这可能会导致失望和倦怠，英国心理健康中心报告称，在最近 12 个月内，高达 91% 的成年人面临这种风险。解决这种冲动的方法之一是采用更慢的生活方式。我们可以享受生活，而不是总是从一项活动匆忙到另一项活动。继续阅读...
We’re on the verge of seeing the quantum vacuum for the first time
量子理论认为真空并不是真正空的，但直接证明它仍然遥不可及。一项使用极其强大的激光的新实验最终可能会暴露其隐藏的结构 - 并可能提供暗物质的线索
Weekly Climate and Energy News Roundup #704
“理论的真实性永远无法被证明，因为人们永远不知道未来的经验是否会与它的结论相矛盾。” — 阿尔伯特·爱因斯坦《每周气候与能源新闻综述#704》一文首先出现在 Watts Up With That? 上。
Spanish Cave Reveals One of the Largest Known Neanderthal Camps
在西班牙北部的一个洞穴中工作的考古学家发现了进一步的证据，证明有一个大型尼安德特人营地，其历史可以追溯到大约 46,000 年前。在 2026 年的挖掘季节，研究人员扩大了西班牙布尔戈斯省科尔内霍村庄普拉多瓦尔加斯洞穴的工作范围。该洞穴是巨大的 Ojo Guareña 地下网络的一部分 […]西班牙洞穴揭示了已知最大的尼安德特人营地之一，该洞穴首先出现在 Knowridge 科学报告上。
Cyborg Roaches Can Stab You With Needles
想象一下，地震后您被困在废墟下，您看到一只全身装满电子设备的蟑螂，背上有一根弹簧针，正在向您跑来。虽然这一景象可能令人不安，但至少可以说，这种原型护理人员半机械人或“Paraborg”有一天可能会帮助向原本无法到达的灾难受害者提供救生援助。 机器人技术中最困难的问题数十年来，科学家们一直在寻求开发半机械人昆虫，作为“解决机器人技术中一些最困难问题的捷径”，昆士兰大学生物机器人实验室主任 T. Thang Vo-Doan 说。澳大利亚布里斯班刚刚发表了一篇关于帕拉博格人的论文。昆士兰大学建造一个昆虫大小的机器人“能够可靠地穿过瓦砾、爬过不规则的表面、从跌倒中恢复、携带自己的动力，并且仍然有空间容
Fermat’s last theorem formalised by AI agents in just 11 days
将费马大定理的证明转换为计算机可以检查的代码预计需要数年时间。 Anthropic 的 Claude AI 在不到两周的时间内完成了它
Hematotoxic Manifestations and Management of Green Pit Viper Bites in Thailand
图片来源：作者：Rushen - Trimeresurus hageni，哈根毒蛇（雄性） - Bang Lang 国家公园，CC BY-SA 2.0，https://commons.wikimedia.org/w/index.php?curid=110226136泰国绿坑毒蛇咬伤的血液毒性表现和管理介绍：绿坑毒蛇 (GPV) 广泛分布于泰国各地，对造成重大损失负有责任。发病率。本研究的主要目的是了解 GPV 叮咬的临床表现和治疗方法。次要目标是证明最早和最晚发生的血液毒性。方法：对 2016 年 7 月 1 日至 2018 年 6 月 30 日期间向 Ramathibodi 中毒中心报告的
