英伟达CEO基金会捐赠1.08亿美元算力资源助力科研

更多新闻

• 形式化验证与审计：为何“代码已核”不再足够

  我曾能在审计后安然入睡。如今却再也不能。 审计悖论 第一次目睹一个协议因审计员未能发现的状态交互而损失3000万美元时，我告诉自己这只是个例。第二次，我归咎于审计范围。第三次——大约是在那周读到的第五份事故分析报告时——我意识到问题不在审计员，而在方法论本身。 审计是人读代码、写测试的过程。人会疏忽，测试会遗漏路径。对于处理真实资金的智能合约，“我们可能覆盖了所有情况”并非安全模型，只是一厢情愿。 审计的实际作用（与局限） 需要明确智能合约审计能提供什么，因为行业常对此轻描淡写。 审计是安全团队阅读代码、运行静态分析工具、编写定制测试用例并记录发现的过程。优秀团队能发现重入漏洞、整数溢出、访

  刚刚
• 印度航线两艘LPG运输船关闭定位信号通过霍尔木兹海峡

  印度液化石油气运输船在霍尔木兹海峡关闭定位信号 据悉，两艘印度液化石油气运输船在通过霍尔木兹海峡时关闭了船舶定位信号。霍尔木兹海峡是中东能源运输的关键通道。近期由于通航受阻的担忧加剧，部分船舶正以减少位置暴露的方式进行航行

  刚刚
• 台积电、阿里巴巴、三星电子引领新兴市场股市上涨

  据市场数据显示，受科技股走强推动，MSCI新兴市场指数上涨0.7%，本月累计涨幅已超过7%。 科技巨头主导涨势 台积电、阿里巴巴、三星电子三只个股贡献了指数涨幅的105%。这意味着若剔除这些个股，指数很可能呈现下跌态势。 人工智能热潮驱动 本轮上涨主要源于市场对人工智能相关硬件与服务需求扩张的预期，资金集中流向科技板块。自四月初以来，芯片制造商率先引领反弹，企业业绩展望的上调部分抵消了因地缘局势紧张引发的通胀担忧。 板块表现分化显著 尽管信息技术板块上涨1.4%，但公用事业、能源及工业材料板块均出现下跌，凸显出亚洲科技股与其他新兴市场板块之间的明显温差

  1 分钟前
• Doximity股价暴跌21%，因业绩与指引双不及预期

  关键要点 前瞻展望令市场失望 华尔街分析师大幅下调评级 获取3本免费股票电子书 Doximity调整后的每股收益为0.26美元，低于华尔街共识预期的0.28美元。 第四季度营收增长5%，达到1.454亿美元，略微超过预期。 2027财年营收指引为6.64亿至6.76亿美元，远低于分析师预期的6.974亿美元。 财报发布后，包括杰富瑞、富国银行和KeyBanc在内的多家大行下调了DOCS的评级。 周四盘前交易中，股价暴跌约21%，今年以来累计下跌约47%。 由于这家远程医疗公司季度业绩令人失望且前瞻指引不佳，周四盘前交易中，Doximity的股价跌至约18.45美元——较周三收盘价23.39美

  1 分钟前
• Marvell (MRVL) 股价获双重分析师上调，创历史新高。

  Marvell（MRVL）股价周三飙升8.2%，收于177.95美元，创下历史新高，随后在周四的盘前交易中进一步上涨4.2%，触及185.40美元。 这家芯片制造商的股票在2026年内已飙升超过100%，录得今年第12次历史收盘新高。 高盛将其12个月目标价从100美元上调至125美元，着重指出了可能与谷歌的合作以及光网络业务前景的改善，同时维持“中性”评级。 美国银行证券将其目标价从125美元大幅提升至200美元，并将Marvell列为“首选股”，强调市场对其定制芯片的广泛需求以及与微软Azure平台芯片合同的潜力。 华尔街预测，人工智能数据中心市场规模到2030年可能扩大至1.7万亿美元，

  2 分钟前
• 黑石GIP联手淡马锡、L’IMAD与阿布扎比国家石油公司推进300亿美元基础设施投资计划

  一项针对海湾与中亚基础设施的战略联盟 随着区域能源格局变化，基础设施投资势头持续增强。贝莱德旗下全球基础设施合伙公司携手新加坡淡马锡、阿布扎比L’IMAD及国家石油公司ADNOC，共同成立重大基础设施合作伙伴关系，目标在 Gulf 及中亚地区达成三百亿美元投资规模。该联盟将通过股权与债权融资，投资于能源、交通、物流等领域的新建及现有基础设施项目。 此次合作汇集了区域内最活跃的基础设施资本配置方。2024年贝莱德完成对全球基础设施合伙公司的收购，使其成为全球规模领先的基础设施另类资产管理机构之一。四家创始方虽未公布具体募资时间表或股权分配方案，但其合作范围显示出对多行业的长期资本承诺。合作也将考

  2 分钟前
• Hour World 与 OpenAI 联手启动超级IPO第二轮申购

  据PA新闻社报道，Hourbit已通过其基于项目的数字资产申购服务"超级IPO"启动了一项与OpenAI相关产品的申购活动。 申购详情 本次申购总额度为3,000份OPENAI产品，每份OPENAI的申购价格为699 USDT。申购将于北京时间5月16日19时59分截止。 关于超级IPO服务 Hourbit的"超级IPO"是一项追踪企业在首次公开募股、并购等重大事件前后价值波动的数字资产申购服务。该服务的首个项目是与SpaceX相关的产品，本次OpenAI产品为其第二个项目

  2 分钟前
• 尽管外资外流，韩国KOSPI持续走强…个人与机构动能得到确认

  本月，外国投资者对韩国股票的净卖出大幅增加，但在国内个人和机构投资者的买入支撑下，韩国综合股价指数（KOSPI）延续了强劲的上涨趋势。尽管外资正在撤离，股指却持续走高，呈现出一种罕见的市场局面。 外资大规模净卖出 据引述的数据显示，自5月以来，外国投资者已净卖出价值约115亿美元（约合171万亿韩元）的韩国股票。这有可能成为继2月和3月之后，史上月度第三大规模的净卖出。从今年累计情况看，外国投资者对韩国股票的净卖出规模已接近480亿美元（约71.6万亿韩元）。此数值已超过在与人工智能主题关联度相对较低的印度股市中出现的外资净卖出规模的两倍。 半导体行业不确定性成为焦点 外资加速撤离的背后，

  9 分钟前
• [热门股]RFHIC因美国对华通信设备制裁或长期化而走强

  RFHIC在美国对华通信设备制裁长期化的预期下表现出强势。有分析认为，美国的对华通信设备制裁很可能将持续五年以上，这与政治局势变化无关。 股价上涨与市场分析 据韩国交易所数据，RFHIC以107,500韩元收盘，较前一日上涨2,200韩元（涨幅2.09%）。 有观点指出，美国的对华制裁涉及全球第四次工业革命主导权竞争及安全问题，因此即使存在中美首脑会谈等外交变量，其缓解的可能性也不大。即便美国国内政治格局发生变化，制裁基调预计也将维持。 行业格局与供应链调整 尽管美国在人工智能、机器人、量子技术等领域具备竞争力，但在无线通信设备领域被认为存在短板。因此，美国通过加强与韩国、欧洲、日本企业的

  9 分钟前