RecodeX 重构消息，研究人员提出Verge引擎，旨在通过形式化精炼和指导增强大型语言模型的可验证推理能力。
研究人员提出Verge引擎，旨在通过形式化精炼和指导增强大型语言模型的可验证推理...
原始信息来源arxiv.orgarxiv.org
查看原文 ↗更多快讯
查看全部 →科技
赛力斯刘宗成：汽车产业最大风险是“速成”而非慢
RecodeX 重构消息，赛力斯集团科技公司总裁刘宗成在2026中国汽车产业发展（泰达）国际论坛上表示，汽车产业最大的风险不是慢，而是“速成”。他指出，中国汽车要从规模领先迈向质量领先，不能靠压缩验证周期、降低安全标准来抢速度，靠“速成”走不远，靠低价也赢不了未来。
人工智能
欧洲人士质疑美企提议放缓AI研发实为出于私利
RecodeX 重构消息，有欧洲人士对美国企业提出放缓人工智能研发的倡议表示质疑，认为其动机是出于私利而非真正的安全关切。相关质疑指向美企在AI安全议题上的立场与其商业利益之间的关系。
宏观
塔塔钢铁据悉寻求英国政府提供新支持方案
RecodeX 重构消息，塔塔钢铁据悉正寻求英国政府提供新的支持方案。该公司此前已与英国政府就钢铁业务转型和资金支持进行过谈判，此次寻求新的支持方案意味着相关磋商仍在推进。
地缘局势
英国警方在赫特福德郡货车内发现七名藏匿移民
RecodeX 重构消息，周四下午约3时25分，警方在赫特福德郡沃尔瑟姆克罗斯的不列颠尼亚路包围了一辆停放的黄色货车，并在车厢内发现七名藏匿的移民。报道称，人口走私者正逐渐放弃使用小船，转而利用重型货车将人偷运进入英国。
科技
阿拉斯加风暴冲散考古文物，考古学家紧急抢救
RecodeX 重构消息，去年10月，台风“夏浪”残余环流横扫阿拉斯加西部，引发大范围洪水，导致多个偏远村庄逾千人流离失所。沿海地区的考古文物被风暴冲散，考古学家正争分夺秒抢救剩余文物。
科技
佛州夫妇起诉生育诊所胚胎错用他人精子
RecodeX 重构消息，美国佛罗里达州一对夫妇指控一家生育诊所，在其女儿胚胎的体外受精过程中使用了另一名男子的精子。这对夫妇在得知孩子的DNA信息后，发现其生育亲生子女的愿望落空，称自己遭到“背叛”。