【AI】AI科学者「AI-Descartes」 データと理論から最適な数式を自動推論 「相対性理論」などで実証
AI科学者「AI-Descartes」 データと理論から最適な数式を自動推論 「相対性理論」などで実証
IBM Research、Samsung AI、米メリーランド大学、米ミネソタ大学、米コロンビア大学に所属する研究者らが発表した論文「Combining data and theory for derivable scientific discovery with AI-Descartes」は、データと理論を与えると一般的な論理的公理によって表現された事前知識を尊重しながら、データを正確に記述する意味のある最も適した数式を導き出すシステムを提案した研究報告である。