>>274
もちろんAIが勝手に定理を証明したという話ではないことは分かってる