日本茨城县发生4.8级地震 东京有明显震感|如何评价 Anthropic 上传的费马大定理的 Lean 4 证明？

　　当地时间17日0时7分左右，日本关东地区发生地震。据日本气象厅消息，日本茨城县南部发生4.8级地震，最大震感为震度3，震源深度70公里。

　　总台记者获悉，东京有明显震感。(总台记者 柏春洋 何欣蕾 刘耀鸿）