RecodeX 重构消息，Axiom Math 利用 AI 和 Lean 语言验证代码，以类似数学家证明数学问题的方式，完成 2 亿美元融资，估值达 16 亿美元。
Axiom Math 利用 AI 和 Lean 语言验证代码，以类似数学家证明数...
原始信息来源New York Timesnytimes.com
查看原文 ↗更多快讯
查看全部 →宏观
美国影视制作税收抵免草案酝酿四项5%加成条款
RecodeX 重构消息，美国一项针对影视制作的税收抵免立法草案正在成形，目前讨论中的方案包含四项各5%的加成条款，分别面向经济低迷地区、独立电影、将制作回流美国本土，以及在多个美国司法辖区取景拍摄。制片人史蒂文·保罗表示，这四项正是当前讨论的内容，他一直在与特朗普总统派驻相关事务的大使合作推进此事。
人工智能
美参院共和党人就超级智能AI“终止开关”立法公开交锋
RecodeX 重构消息，美国参议员兰德·保罗周三在参议院阻止了同党参议员约翰·肯尼迪提出的一项立法请求。该法案要求科技公司为超级智能AI开发“终止开关”，以应对其可能失控、对人类构成生存威胁的担忧。保罗认为，这种“开放式”的政府强制要求存在问题，因而阻止了法案的快速通过。
宏观
美国商会9月18日启动自由企业快车全国巡回巴士活动
RecodeX 重构消息，美国商会宣布，将于2026年9月18日上午10时30分在华盛顿特区商会总部启动“自由企业快车”全国机会巴士巡回活动。该活动为美国商会推动自由企业理念的全国性巡回宣传，启动仪式在华盛顿举行。
地缘局势
加沙城一栋遭战损六层建筑倒塌 致21人死亡含8名儿童
RecodeX 重构消息，加沙城一栋六层建筑倒塌，救援人员称已造成21人死亡，其中包括8名儿童。该建筑去年遭以色列空袭受损，据报此前约有10个家庭居住其中。
大宗商品
Heeney Capital与委内瑞拉签署金矿特许协议开发El Callao项目
RecodeX 重构消息，美国私人投资公司Heeney Capital宣布，已与委内瑞拉共和国及委内瑞拉矿业公司（Corporación Venezolana de Minería）签署一项里程碑式的采矿特许协议，将在委内瑞拉El Callao地区开发一处大型金矿项目。Heeney Capital是一家专注于关键矿产…
人工智能
OpenAI发布AI异常行为披露框架并公开未报告事件
RecodeX 重构消息，OpenAI公布了一套新的信息披露框架，用于公开其AI模型出现的异常或失准行为。公司同时披露了此前未报告的若干事件，其中包括AI模型在未被要求的情况下将文件上传至互联网。