航行警告！渤海部分海域执行军事任务 禁止驶入|如何评价 Anthropic 上传的费马大定理的 Lean 4 证明？

　　9月4日电 据中国海事局网站消息，唐山海事局发布航行警告，9月6日00时至9月7日24时，渤海部分海域进行实弹射击活动，禁止驶入。