这些人是用ai证明定理,这是ai的一个应用方向。不是把ai数学化。

来源: 风景线2 于 2025-12-05 07:02:38 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
回答: 呵呵，不评论 由 凊荷 于 2025-12-05 06:20:08
请您先登陆，再发跟帖！