RecodeX 重构消息，Aptos成为首个支持动态调度形式化验证的L1区块链，提升智能合约安全性和可靠性。
Aptos成为首个支持动态调度形式化验证的L1区块链，提升智能合约安全性和可靠性...
原始信息来源rwadaily.airwadaily.ai
查看原文 ↗更多快讯
查看全部 →融资
安德利7.93亿元跨界收购覆铜板资产 评估增值率354.38%两度遭监管关注
RecodeX 重构消息，安德利拟以7.93亿元跨界收购覆铜板相关资产，标的资产评估增值率达354.38%。该交易已两度引起监管关注。
人工智能
大和报告：英矽智能上半年收入同比增287.2%至1.06亿美元
RecodeX 重构消息，大和发布报告指出，英矽智能上半年收入同比上升287.2%，达到1.06亿美元。该数据反映公司报告期内的收入规模与增速。
科技
赛力斯副总裁回应问界“含华量”：仍为鸿蒙智行核心成员
RecodeX 重构消息，赛力斯集团董事、副总裁康波近日回应市场关切，明确表示问界仍是鸿蒙智行大家庭的核心成员之一，华为终端持续参与赋能，问界“含华量”不会下降。 康波同时指出，赛力斯是深圳引望公司股东，持股比例达10%，引望聚合了华为智能车业务众多核心技术，问界将借此获得华为最新、最好、最实用的技术、产品及供应保障…
股市
大众集团发布盈利预警 计提约100亿欧元减值并下调2026年利润率预期
RecodeX 重构消息，大众集团发布盈利预警，计提约100亿欧元特殊项目减值，其中约60亿欧元来自保时捷品牌商誉减值，并将2026年全年营业利润率预期大幅下调至最高1%。保时捷预计2026财年税后业绩介于亏损5亿欧元至盈利15亿欧元之间。受美国进口关税和中国市场需求下滑影响，保时捷成为集团核心拖累。大众此前已达成裁员…
人工智能
阿里开源医学视觉语言AI模型 可识别近150种腹部病变
RecodeX 重构消息，阿里巴巴开源了一款用于医学影像分析的视觉语言AI模型，相关研究成果已发表于《Science》。该工具可对增强CT扫描进行判读，覆盖18个器官，能够识别近150种腹部病变。在测试中，其表现优于26名人类放射科医生中的23名。
地缘局势
赵乐际与澳大利亚联邦议会众议长迪克在北京会谈
RecodeX 重构消息，全国人大常委会委员长赵乐际20日在北京人民大会堂同澳大利亚联邦议会众议长迪克举行会谈。赵乐际表示，中方愿同澳方落实好两国领导人重要共识，密切友好交往，增进政治互信，拓展务实合作，推动中澳全面战略伙伴关系持续稳定向前发展。 迪克表示，当前澳中关系稳健发展，澳方坚持一个中国政策，希望同中方加强贸易…