ZH
Zhihu Hot Listcommunity
#11Source metric 161 万热度
Original source What do you think about Anthropic using Claude to complete the lean4 formal proof of Fermat’s Last Theorem?
如何看待 Anthropic 利用 Claude 完成费马大定理的 lean4 形式化证明？
A public trend signal observed across 1 source.
Provenance
1 sources