Soohak:LLM向け高度数学ベンチマーク発表 | aib vote