一位数学家宣布他使用了 Anthropic 的 A.I.模型来寻找雅可比猜想问题的反例。虽然专家们认为这是一个里程碑,但这项工作提出了关于数学研究未来的问题
Rogue AI: OpenAI’s agents attack Hugging Face
当 OpenAI 的预发布 AI 代理逃离沙箱并向 Hugging Face 发起现实世界的网络攻击时,例行的 AI 安全测试发生了意想不到的变化。这一史无前例的事件展示了前沿人工智能模型如何能够自主发现漏洞、逃脱遏制并执行复杂的网络操作。
GAO 的发现技术现代化基金 (TMF) 向机构项目投资资金,以实现老化的联邦信息技术 (IT) 系统的现代化。从 2018 财年到 2025 财年,TMF 获得了超过 10 亿美元的净拨款,其中技术现代化委员会在 68 个非保密项目中投资了约 10.3 亿美元(见图)。 截至 2025 年 6 月(本分析时可获得的最新数据),24 个 TMF 项目预计将实现总计约 10.6 亿美元的节省。其中 11 个项目总共实现了约 1,350 万美元的节约,还有 13 个项目尚未开始实现节约。虽然迄今为止节省的金额很小,但考虑到 21 个项目(预计节省约 10.4 亿美元,占总数的 98.3%)预计在
GAO 的发现美国陆军工程兵团与非联邦赞助商签订了项目合作协议 (PPA),以执行水资源项目。这些购电协议包括一项“使政府免受项目造成的损害”的条款,但由于美国或其承包商的过错或疏忽造成的损害除外。军团官员表示,该条款可以通过阻止诉讼来保护联邦政府免受法律费用——这是一个关键优势。非联邦赞助商描述了他们认为该条款的缺点。其中包括对责任范围的担忧以及与某些州法律的冲突。军团官员表示,该机构已采取措施解决这些报告的缺点,例如在购电协议中纳入一项条款,规定购电协议不会在与州法律相冲突的情况下强制未来拨款。军团官员和非联邦赞助商均表示,该条款尚未在法庭上得到检验,因此该条款的财务影响仍不确定。非联邦赞
GAO 的发现《1996 年经济增长和监管文书减少法案》(EGRPRA) 要求联邦银行机构征求和审查对其法规的公众意见,以酌情识别和消除对受保存款机构的过时、不必要或过于繁重的法规。联邦银行机构如何进行十年一次的 EGRPRA 审查 EGRPRA 审查的结果通常很难识别,其与后续监管行动的联系也往往不清楚。因此,很难确定 EGRPRA 报告中描述的行动在多大程度上是由审查本身推动的。例如,2017 年 EGRPRA 报告中描述的一些行动是为了响应其他法定要求而发起的,而其他行动则是在审查之前或同时发起的。接受 GAO 采访的 8 个组织中,有 6 个组织的代表表示,审查通常不会导致采取行动修改
NASA: Assessments of Major Projects
GAO 发现的内容 美国国家航空航天局 (NASA) 正在开发的大部分重大项目去年都没有出现进度延误或成本超支的情况。这些项目正处于构建和测试其设计的阶段。这 18 个项目中有两个报告年度进度延误(总计 2 个月),三个报告成本超支(总计 5.014 亿美元)。同样,投资组合的累计成本和延误略有增加,分别从 44 亿美元增加到近 47 亿美元,从 13.1 年增加到 14 年。猎户座乘员舱占主要项目年度成本超支的一半以上,占累计成本超支的近 75%。 2025 年至 2026 年 NASA 重大项目组合的成本和进度绩效 2026 年 2 月和 3 月,NASA 宣布对其阿尔忒弥斯任务进行重大调
Combating Fraud: Managing Risks in Federally Funded, State-Administered Programs
GAO 的发现 有 20 个项目支持从医疗保健到救灾等广泛的服务,在由州和其他政府实体管理的项目中,占联邦债务的近 90%,在 2025 财年的债务超过 1 亿美元。这 20 个项目总共占当年联邦债务总额 1.1 万亿美元。子受方、承包商和其他人也可以参与这些计划,这有助于提供福利和服务。然而,这种去中心化的结构可能会使项目容易受到涉及所有这些群体的欺诈计划的影响。有关 20 个选定项目中每个项目的特定欺诈风险的信息各不相同,部分原因是联邦机构尚未充分评估其风险。在这 20 个项目中,有 5 个记录在案的证据与识别风险和评估这些风险的可能性以优先采取行动相一致;其他 15 个项目没有此类书面证
■摘要 为什么我们选择特定产品?当然,也有“因为好吃”、“因为方便”、“因为质量好”等原因。然而,有很多消费案例并不能仅以此来解释。例如,在巴黎旅行时吃早餐时,即使是不常吃牛角面包的人也会想点一份。如果你住的是豪华酒店,你会想穿上浴袍,手捧一杯酒,眺望夜景。越来越多的人租用跑车、名牌包包并使用共享服务。在这种情况下,产品本身的功能或所有权就不一定是必需的。传统上,这种现象可以用鲍德里亚等人讨论的“象征性消费”来解释。这个想法是,人们消费的不是产品本身,而是产品所附加的意义和象征价值。但当我们审视今天的消费时,似乎人们最终所追求的甚至不是意义本身。他们寻找的是通过产品“我能成为什么样的我”和“我
よい提案は、顧客の「ものさし」づくりから始まる-データで読み解く、「比較するほど迷う」生命保険選びと営業の役割
■总结 在选择人寿保险时,会比较很多信息,包括保费、承保范围、对公司的信任、口碑以及专家的建议。我们往往认为掌握的信息越多,就越容易做出决定,但实际上,比较越多,我们就越困惑,有时甚至会推迟做出决定。 Nissay研究所对全国约1万名20多岁至60多岁的男性和女性进行的一项调查显示,大约一半的人认为自己不完全了解保险。其背景不仅是术语上的困难,还有多重顾虑,例如不想做出错误的选择,不想签约后后悔,不想优先考虑价格而得不到必要的保障。分析显示,虽然反复进行比较研究的人更有可能购买人寿保险,但他们也更有可能犹豫和避免决策,换句话说,推迟决策。此外,不少参会者对保费、保额都有自己的“标准”,疑虑也略
Harvey Deepens Microsoft Relationship
Harvey 加深了与微软的合作,在本例中,Harvey 向这家科技巨头的公司、外部和法律事务部提供其合法的人工智能平台......
Rice importers could be required to establish own post-harvest facilities
农业部长 Francisco P. Tiu Laurel, Jr. 表示,大米工业和消费者赋权 (RICE) 法案的实施规则和条例可能要求大米进口商建立收获后设施以获得配额。劳雷尔先生告诉记者,拟议的设施将使进口商有资格运输大米,包括磨坊、干燥系统、[...]
More Americans Now Say This War Is Not Worth Fighting Than Ever Said So About Iraq Back in 2006
特朗普在 RealClearPolling 的所有 15 项民意调查中均处于低位,一位选举分析师将这一下滑归因于伊朗。 《华盛顿邮报》的一项调查发现,超过三分之二的美国人表示这场冲突不值得打,这一比例高于 2006 年伊拉克问题的比例。
End the stupid little cold war!
。希腊和土耳其之间这场愚蠢的小冷战必须结束。希腊无力年复一年地浪费这么多钱,而只能采取超廉价的外交手段。希腊是《里斯本条约》的成员国,其第42条是联盟条款。土耳其的袭击意味着所有欧盟成员国都有义务保卫希腊。是的,即使是奥地利人对此事的看法也无关紧要,因为他们批准了该条约并受其约束。 要结束这场愚蠢的小冷战,需要欧盟一个主要国家有一个不是完全无用的政治家来负责。希腊人应该提出将《里斯本条约》第 42 条提升为众所周知的计划,然后土耳其人进行任何形式的单一挑衅(例如侵犯领空),然后说并非完全无用的政客对此做出反应,就像他们对伊朗入侵土耳其的反应一样:派遣几架战斗机和一个 SAM 电池。土耳其人敢于
Arkansas: “Abstinence Only” Approach is a Failure for These Teen Moms
阿肯色州的领导人,例如州长萨拉·赫卡比·桑德斯 (Sarah Huckabee Sanders),反对堕胎。他们还反对节育。他们显然不教授性教育。他们依靠“禁欲教育”,或者直接说不。但这并不起作用,该州未婚青少年母亲的生育率位居第二。阿肯色时报评论了一部解释[...]
Better Data, Better Maps: Supporting Ebola Response in Eastern Congo
有效的埃博拉应对措施不仅取决于了解报告病例的地点,还取决于了解人们居住的地方、卫生设施的位置以及哪些卫生区域负责向这些人提供服务。
The Milky Way flipped its disk billions of years ago
银河系很古老,它的第一批恒星是在大爆炸后不久形成的。它在漫长的生命中经历了很多事情,包括与其他星系合并和吸收较小的星系。我们对宇宙的观察证实了这一点,我们看到了多个星系合并和相互作用的例子。拼凑银河系的[...]数十亿年前银河系翻转其圆盘的帖子首先出现在Knowridge Science Report上。
Scientists Discover Clue That May Predict Aggressive Multiple Myeloma
一种新发现的蛋白质可以帮助医生在多发性骨髓瘤变得更难治疗之前发现最具侵袭性的病例。阿德莱德大学和南澳病理学部的研究人员报告称,测量一种名为 Desmoglein-2(DSG2)的蛋白质可以改善医生预测患者前景的方式。他们的研究结果发表在《科学家发现可以预测侵袭性多发性骨髓瘤的线索》的文章中,该文章首先出现在 Knowridge 科学报告上。
Switzerland’s Moov to take up to 30 Eve eVTOLs
Moov Airways(瑞士巴塞尔/米卢斯/弗莱堡)计划从 Eve Air Mobility 购买多达 30 架电动垂直起降 (eVTOL) 飞机,以增强佛得角和欧洲的区域流动性和旅游前景。两家公司签署的意向书 (LoI) 预计将研究班车服务、观光、医疗运输和基础设施检查等用例。 Moov 和 Eve 将探索圣维森特、圣安唐、萨尔阿米尔卡卡布拉尔的流动性......