于子迪夺得亚运会女子400米个人混合泳金牌|如何评价 Anthropic 上传的费马大定理的 Lean 4 证明?

  9月23日,名古屋亚运会女子400米个人混合泳决赛,中国选手于子迪夺得金牌!另一名中国选手柯雯曦获得银牌。

热门标签