山东青岛北海造船厂一货轮火灾事故已造成25人遇难|如何评价 Anthropic 上传的费马大定理的 Lean 4 证明？

　　2026年9月10日11时15分许，一外籍货船在中国船舶集团青岛北海造船有限公司检修过程中发生火情。

　　记者从北海造船厂火灾事故救援现场了解到，截至9月10日19时24分，25名失联人员全部找到，均无生命体征。