人間は人間が理解し検証できるレベルの数学しか生み出せない
AIにはその限界を超えられる可能性がある