「フェルマーの最終定理」の証明の形式化にかかった時間。「Opus 5.5」は30時間で27％しか進まなかった

「フェルマーの最終定理」の証明の形式化にかかった時間。「Opus 5.5」は30時間で27％しか進まなかった