AI科学者「AI-Descartes」 データと理論から最適な数式を自動推論 「相対性理論」などで実証