内容库

外交部发言人郭嘉昆6月22日就侵华日军实施“异种输血”等活体实验和细菌战回应称，相关罪行已有包括1949年伯力审判录音、文字记录和物证在内的完整证据链，日军暴行将被永远钉在人类历史耻辱柱上。中方同时借此敦促日本与军国主义彻底切割，并将日本“再军事化”定性为危险回头路，使这件事直接关联到中日历史争议与当前地区安全议题。

陶哲轩表示，在其基于 Lean 的显式解析数论形式化项目中，自动化工具近几周已能在数小时内完成过去需志愿者数周认领的证明任务，未解决任务队列因此大幅减少。直接影响是数学形式化的瓶颈已从“写出证明”转向“审查、压缩与按全局结构整合AI生成证明”，这为 AI 在定理证明和开发者工具中的能力边界提供了新的现实信号。

6月22日港股继续调整，恒生指数收跌0.65%且盘中创近1年新低，恒生科技指数跌1.19%；AI大模型概念股逆势走强，MiniMax涨近24%，智谱涨超15%，盘中一度冲上2980港元后收于2410港元。市场分化显示整体科技权重承压之下，资金仍在集中追逐大模型相关标的，直接影响港股科技与AI板块的交易情绪和估值预期。

西山居就成都团队调整回应称系根据业务运营情况进行的正常项目和组织架构调整，多方消息则指《尘白禁区》相关外包被遣散，国内外团队均有收缩并已影响产能。结合金山管理层此前表态将收缩非战略项目，这释放出公司在游戏业务承压下重新分配资源的信号，也直接影响《尘白禁区》后续内容生产节奏。

美股盘前存储与芯片板块整体走强，英特尔涨超4%，西部数据、闪迪、美光科技、康宁涨超3%，迈威尔科技涨近2%；同时，SpaceX下跌4.6%，APOGEE因传出与艾伯维达成110亿美元交易而飙升51%。盘前异动直接反映资金对半导体与并购题材的短线偏好，对芯片板块情绪和相关科技股交易决策有即时参考价值。

外交部宣布，国务院总理李强将于6月23日至24日出席在大连举行的第十七届夏季达沃斯论坛，参加开幕式并发表特别致辞，还将会见来华与会外方嘉宾并同工商界代表座谈。多国总理和来自90多个国家和地区的1700余名代表参会，这使该论坛成为近期中国与国际政商界开展高层交流的重要场合。