RecodeX 重构消息，一项新研究提出合约级验证器，用于验证大语言模型生成的GPU内核。该验证器通过合约界定内核行为，旨在提升生成代码的正确性与可靠性。相关论文已以预印本形式发布。
研究提出合约级验证器校验LLM生成GPU内核
AI 辅助判断中性仅供信息参考，不构成投资建议
原始信息来源Hnrssarxiv.org
查看原文 ↗更多快讯
查看全部 →人工智能
特朗普官员考虑在习近平访美期间与AI高管会面
RecodeX 重构消息，多家大型科技与人工智能企业高管预计下周前往华盛顿，出席中国领导人习近平对白宫进行的国事访问。部分特朗普政府官员正考虑在这场高规格峰会间隙与这些高管举行会面。
地缘局势
肯尼迪中心无视法院禁令关闭 众议员要求紧急听证
RecodeX 重构消息，美国众议员乔伊斯·比蒂（俄亥俄州民主党）周三请求联邦法官举行紧急听证。此前肯尼迪中心突然关闭，而法院命令禁止总统特朗普及该中心董事会将其关闭。比蒂称，被告可能违反了“明确且无歧义”的法院命令。
央行
摩根大通上调最优惠利率25个基点至7.00%
RecodeX 重构消息，摩根大通宣布将最优惠利率上调25个基点至7.00%，自当地时间9月17日起生效。最优惠利率是商业银行对企业及个人贷款的基准利率之一，此次调整后该行相关贷款利率将同步走高。
宏观
加州高铁项目被查680万美元未经批准差旅支出
RecodeX 重构消息，加州监察长报告显示，加州高铁项目在两年内对四家咨询公司共115万美元的差旅费用进行审计，其中约68万美元属于未经批准的支出。报告指出，相关费用包括夜总会、提基酒吧和雪茄吧等消费。
融资
多家银行向黑石与Alphabet提供220亿美元芯片相关贷款
RecodeX 重构消息，多家银行向黑石集团及谷歌母公司Alphabet提供总额220亿美元、与芯片相关的贷款。该笔融资规模达220亿美元，资金用途与芯片业务相关。
宏观
得州参议院选情胶着：塔拉里科民调仅领先帕克斯顿3个百分点
RecodeX 重构消息，最新民调显示，距离选举日不到两个月，得克萨斯州民主党参议院候选人詹姆斯·塔拉里科以3个百分点的微弱优势领先共和党候选人肯·帕克斯顿。该民调误差范围为上下4个百分点，意味着两人目前处于势均力敌的状态。