F firethering.com ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parameters 117 points steveharing1 6 months ago 56 comments