軽量AIモデル「ZAYA1-8B」が数学推論で高い性能を実証 | aib vote