Alexei Miasnikov

U-MATHは、ユニークな問題を使って大学レベルの数学問題に対するAIの能力を評価するんだ。