Fable 5.2のエージェントチームは「フェルマーの最終定理の証明」を30時間で形式化してみせた

Fable 5.2のエージェントチームは「フェルマーの最終定理の証明」を30時間で形式化してみせた