ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parametersfirethering.com117 pointssteveharing12 months ago