RecodeX 重构消息，以太坊创始人Vitalik Buterin表示，数学验证软件可能有助于保护加密基础设施，因为人工智能同时提升了代码生成和漏洞发现能力。
以太坊创始人Vitalik Buterin表示，数学验证软件可能有助于保护加密基...
原始信息来源decrypt.codecrypt.co
查看原文 ↗更多快讯
查看全部 →股市
会稽山触及涨停 七天五板成交额12.52亿元
RecodeX 重构消息，会稽山股价触及涨停，录得七天五板。当日成交额达12.52亿元。自2026年8月10日至今，该股累计涨幅达173%。
股市
港股房地产板块走强 融信中国盘中涨近27%
RecodeX 重构消息，港股房地产股集体走强。截至发稿，融信中国(03301.HK)上涨26.98%，万科企业(02202.HK)上涨9.20%，旭辉控股集团(00884.HK)上涨6.25%。
股市
地产股早盘走强 房地产相关ETF涨约3%
RecodeX 重构消息，地产股早盘集体走强，带动房地产相关ETF上涨约3%。
科技
英特尔CEO称AI CPU需求激增 交付满足率仅50%
RecodeX 重构消息，英特尔CEO表示，受人工智能相关需求推动，公司CPU产品面临供应紧张，目前订单交付满足率约为50%，即只能满足约一半的客户需求。该表态显示AI算力需求正从GPU向CPU环节传导，英特尔服务器及客户端CPU供应承压。
宏观
国务院印发教育发展“十五五”规划，教育部部署六方面重点工作
RecodeX 重构消息，国务院新闻办公室举行“开局起步‘十五五’”系列主题新闻发布会，教育部相关负责人介绍，今年6月国务院印发《教育发展“十五五”规划》，对未来五年教育改革发展作出系统部署，力争到2030年基础教育更加公平优质，普通高中和高等教育学位供给更加充裕，一大批高校和学科进入世界一流前列。 教育部表示将重点做…
地缘局势
国台办回应两岸交流民调：和平发展交流合作是台湾主流民意
RecodeX 重构消息，国务院台办举行例行新闻发布会。有记者提及岛内近期一项“两岸关系年度大调查”，显示支持继续举办两岸交流平台、支持两岸观光客扩大往来、支持两岸民间扩大影视、艺术、体育交流的民意支持度均超过六成，分别为六成三、六成七和六成二。 发言人朱凤莲表示，事实证明要和平、要发展、要交流、要合作是台湾社会的主?…