提出关键词检索结果

数学家推出 First Proof,这是首个针对人工智能的数学考试

Mathematicians launch First Proof, a first-of-its-kind math exam for AI

对人工智能行业声称在不提供透明度的情况下证明数学结果的说法感到沮丧,一个领先的学者团队提出了一种更好的方法

节肢动物体型变化的生态进化驱动因素,以蜘蛛为中心

Eco-Evolutionary Drivers of Body Size Variation in Arthropods, With a Focus on Spiders

节肢动物体型变化的生态进化驱动因素,以蜘蛛为中心摘要身体尺寸已在节肢动物生态学中得到充分利用,作为评估对环境因素变化的适应性反应的可靠特征。我们的目的是评估节肢动物种内体型大小随宏观生态梯度变化的一般模式。我们更具体地讨论蜘蛛的这些模式,因为它们代表了一个庞大而多样化的群体,定居在大多数陆地栖息地。地点:全球。时间段:1982-2024。研究的主要分类群:节肢动物。方法我们对 146 项有关节肢动物种内体型变化的研究进行了系统回顾和荟萃分析,这些研究涉及两个主要宏观生态空间梯度(纬度和海拔),这两个梯度都对全球变暖具有高度兴趣。结果我们发现,更多的直接发育物种比间接发育物种在两个梯度上都呈现出

随着委内瑞拉市场重新开放,Avior 航空寻求重返美国

Avior Airlines Seeks U.S. Return as Venezuela Market Reopens

委内瑞拉阿维尔航空公司已请求美国政府重启两国之间的航班运营。该航空公司于 2 月 3 日向美国运输部 (DOT) 提出申请,要求获得从委内瑞拉加拉加斯、马拉开波和巴塞罗那飞往美国迈阿密和休斯敦的两年许可证,为市场重新开放做好准备 […]随着委内瑞拉市场重新开放,阿维奥航空公司寻求返回美国的帖子首先出现在《旅游雷达》-《航空新闻》上。

马里兰州提议的深度造假刑事定罪威胁到第一修正案

Maryland’s proposed deepfake criminalization threatens the First Amendment

众议院第 145 号法案试图根据主观定义的术语(例如与选举相关的“深度造假”)将人工智能内容定为刑事犯罪。马里兰州提出的深度造假刑事定罪威胁到第一修正案的提议首先出现在 Reason Foundation 上。

迈克·罗杰斯 (Mike Rogers) 如何希望在国防领域投入 1.5 万亿美元

How Mike Rogers wants to hit $1.5 trillion for defense

本周国会综述:众议院军事委员会主席提出了 1.5 万亿美元国防预算的路径。

当人工智能失控时,谁应该受到责备?联合国的无声警告变得非常响亮

Who’s to Blame When AI Goes Rogue? The UN’s Quiet Warning That Got Very Loud

从硅谷到联合国,人工智能出错时如何追责的问题不再是深奥的监管问题,而是具有地缘政治意义的问题。本周,联合国秘书长提出了这个问题,强调了人工智能道德和监管讨论的核心问题。他质疑当人工智能系统造成伤害、歧视或超出人类意图时,谁应该承担责任。这些评论向国家领导人以及科技行业高管发出明确警告,正如之前报道的那样,人工智能的能力正在超越法规。但这不仅仅是警告 [...]

随着预算增长和业绩缩减,尼日利亚陷入执行危机

Nigeria in a crisis of execution as budget grow and results shrink

当总统提出另一项比尼日利亚因预算增长和结果缩减而陷入执行危机的联邦政府预算更大时,响起了“我们将坚持您的授权”

I-T 部门公布新税法规则草案、表格

I-T Dept comes out with draft rules, forms for new tax law

由于新规则和表格中提出的变更,包括尽可能删除冗余和合并规则,2026 年所得税规则草案包含 333 条规则和 190 种表格

征服印度的混乱,提高竞争力

Conquer the chaos in India to increase competitiveness

关于预算和贸易的会议提出了提高制造业竞争力的有趣处方

我研究美国海军几十年:特朗普级战列舰有大问题

I Have Studied the U.S. Navy for Decades: The Trump-Class Battleship Has a Big Problem

摘要和要点:特朗普的新国防战略提出以“挑战号”为首的特朗普级战列舰重建“黄金舰队”。 -这艘船重 35,000-40,000 吨,长 840 英尺,装有 128 个 VLS 单元、轨道炮和高超音速攻击武器,被定位为导弹战斗幸存者和西半球威慑力量,能够与 [...] 文章《我研究美国海军数十年:特朗普级战列舰有一个大问题》首先出现在 19FortyFive 上。

新照片引发对中国同轴旋翼直升机山寨品的质疑

New Photos Raise Questions About China’s Coaxial-Rotor Helicopter Knockoff

新出现的图像提出了继 2025 年出现的类似 S-97 Raider 的飞机之后,中国建造了另一架复合直升机演示机的可能性,这一次与更大的 SB>1 Defiant 类似。第一张图片在网上出现几个月后,西科斯基 X2 技术的中国克隆版再次出现。然而,这一次新图像 [...]

特朗普承诺,如果舒默同意为他命名宾夕法尼亚车站和杜勒斯机场,特朗普将资助隧道

Trump Promises to Fund Tunnel if Schumer Agrees to Name Penn Station and Dulles Airport for Him

多年来我们都知道特朗普很自私。我们屡屡看到他自负的例子,从他对约翰·F·肯尼迪中心的重新命名,到他在无数产品上打上自己的名字并兜售它们。但这一个更胜一筹!据美国有线电视新闻网 (CNN) 报道,特朗普向纽约参议员查克提出要约 [...]

民主党否决了要求大学与怀孕学生共享资源的法案

Democrats defeat bill requiring colleges to share resources with pregnant students

参议员阿什利·穆迪 (Ashley Moody) 提出的共和党支持的《怀孕学生权利法案》最近在参议院以 47 票对 45 票的党派路线最终投票未达到所需的 60 票而未能通过。该立法将要求参与联邦学生援助计划的学院和大学告知未来和在校学生他们的权利 [...]

加州大学洛杉矶分校环境健康专家对野火造成的新死亡人数进行了权衡 - 以及更多媒体对加州大学洛杉矶分校的报道

UCLA environmental health expert weighs in on new death toll attributed to wildfires — and more media coverage of UCLA

美联社援引加州大学洛杉矶分校菲尔丁公共卫生学院教授迈克尔·杰勒特 (Michael Jerrett) 的话回应最近一项研究,该研究将野火烟雾中的颗粒污染与美国每年 24,100 人的死亡联系起来。 “他们提出的估计是合理的,”杰勒特说。 “我们需要更多这样的研究。只有当我们用许多不同的设计进行多项研究时,我们才能对我们的结果获得科学的信心。”请在今天的《纽约时报》、法新社和其他媒体上了解有关加州大学洛杉矶分校的更多信息。

阿尔茨海默病的新靶点出现:阻断一种蛋白质可恢复小鼠的记忆

A New Alzheimer’s Target Emerges: Blocking One Protein Restores Memory in Mice

研究人员发现了一种将大脑免疫活动、新陈代谢和淀粉样蛋白清除联系起来的蛋白质,这提出了一种增强当前阿尔茨海默病治疗的新方法。阿尔茨海默病看起来像是一系列严峻的头条新闻:病例数飙升、医疗费用不断膨胀,以及人口老龄化使问题逐年变得更加严重。但在家里,[...]

研究生的 NSF 奖学金申请“未经审查即被退回”

Graduate Students’ NSF Fellowship Applications Are Being “Returned Without Review”

申请 NSF 资助的研究生的申请未经审查就被退回——尽管他们提出的研究似乎完全属于项目征集中概述的研究领域。

空降 02.04.26:CA 再次爱上湾流,F35C 对阵伊朗无人机、蓝色起源

Airborne 02.04.26: CA Loves Gulfstream Again, F35C v Iranian Drone, Blue Origin

另外:成功的电动AV测试、委内瑞拉航线恢复、罕见的二战轰炸机恢复、加拿大新CAP联队指挥官表示,他们正在积极努力对唐纳德·特朗普总统抱怨的湾流喷气式飞机进行认证,同时威胁要对加拿大飞机征收50%的关税,并且不会对加拿大新飞机进行认证。加拿大工业部长梅兰妮·乔利 (Melanie Joly) 表示:“据我们了解,认证过程正在顺利进行,而且认证要求绝对是最近才提出的。”美国军方周二在印度洋西北部的阿拉伯海击落了一架“激进”接近美国亚伯拉罕·林肯号航空母舰(CVN 72)的伊朗无人机。伊朗Shahed-139无人机“意图不明”地飞向航母,被一架美国F-35战斗机击落。蓝色起源公司最近暂停了其新谢泼德

斯洛文尼亚第十次呼吁航空公司寻求补贴

Slovenia seeks airlines in tenth subsidy call

斯洛文尼亚基础设施部发布了新的招标书,以促进该国的航空连通性,为航空公司在该国机场推出新的定期航班提供财政激励。国家将在机场运营开始后最多两年内提供高达 50% 的机场费用补贴。符合条件的费用包括斯洛文尼亚机场的着陆、起飞、停车、旅客处理和地勤费用。与直接折扣不同,承运商必须先支付全额机场费用,然后在提交发票时获得报销。航空公司必须在当地时间 2026 年 3 月 6 日 23:59 之前提交申请,不过已经确定了 8 月 31 日的额外截止日期。政府希望本轮招标将帮助斯洛文尼亚缩小连通性差距,并加强与优先市场的联系。之前的公开呼吁取得了好坏参半的结果。卢森堡航空、波罗的海航空、挪威航空、西班牙