JJ
Juejintech_it
#48Source metric 热度:45
Original source Anthropic Says Claude Completed the First End-to-End Formal Proof of Fermat’s Last Theorem in 11 Days
Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明
A public trend signal observed across 1 source.
Provenance
1 sources