これまでの数学界の研究成果を元に数学者がAIの学習、結果の検証してるんだけどな
AIが独立でやったわけではない