【ナゾロジー】数学の難問はAIの「性能試験のついで」に解かれていた──722本の論文が一挙公開 [すらいむ★]

AIが思考してるのなら
証明を人間に読める普通の文に完璧に翻訳できる
何も考えてないから人間の論文に翻訳できないので
そもそもそれが数学と同じ整合性持つのか疑問