RecodeX 重构消息，V神称AI辅助的“形式验证”有助于保护区块链网络和智能合约免受软件缺陷影响。
V神称AI辅助的“形式验证”有助于保护区块链网络和智能合约免受软件缺陷影响。...
原始信息来源Decryptdecrypt.co
查看原文 ↗更多快讯
查看全部 →人工智能
特朗普家族持续加码AI投资，财务披露显示近3万笔证券交易
RecodeX 重构消息，特朗普及其家族企业正持续扩大对人工智能、数据中心、电力基础设施及相关科技公司的投资。财务披露显示，特朗普重返白宫后，其投资账户已披露近3万笔证券交易，涉及戴尔科技、美光科技、GE Vernova、博通、德州仪器、Credo Technology和超微电脑等芯片、服务器及能源基础设施公司股票。由…
地缘局势
报告：2020至2025年全球超1.2万名儿童死于或伤于爆炸物
RecodeX 重构消息，一份最新报告显示，2020年至2025年间，全球有超过1.2万名儿童因爆炸物死亡或受伤，平均每天约有5名儿童伤亡。报告指出，人工智能和无人机等新技术正在改变战争方式，并加大了爆炸物对儿童构成的威胁。
科技
中国智能眼镜出货量今年预计翻倍至450万台，小米Rokid低价挑战Meta
RecodeX 重构消息，据测算，中国智能眼镜今年出货量预计达到450万台，较去年增长逾一倍。小米与Rokid在本土市场以低于Meta Ray-Ban Display的定价抢占份额，已建立起可观的市场占有率。
人工智能
福特高管用Claude打造家庭助理Claudette，ChatGPT成新竞争者
RecodeX 重构消息，福特高管Whitney Stefko Dover基于Anthropic的Claude搭建了一款名为Claudette的家庭首席助理，用于处理家庭事务。她近日表示，这款助理如今面临来自ChatGPT的竞争，后者已开始接手部分工作。
融资
隧道股份子公司与陆家嘴信托等共同设立3亿元智慧停充私募基金
RecodeX 重构消息，上海建元智慧停充一期私募投资基金合伙企业（有限合伙）于近日成立，出资额3亿元，经营范围包括以私募基金从事股权投资、投资管理、资产管理等活动。股权穿透显示，该基金由隧道股份全资子公司上海建元资产管理有限公司、陆家嘴国际信托有限公司等共同持股。
融资
联想拟出售卢森堡国际银行90%股份 交易金额约192亿元
RecodeX 重构消息，联想控股计划出售其持有的卢森堡国际银行（BIL）90%股份，涉及交易金额约192亿元人民币。卢森堡国际银行是卢森堡历史最悠久的银行。该交易尚待进一步推进，具体买方及交割安排未在披露中说明。