Zhipu AI

Últimas notícias, modelos e lançamentos de IA de Zhipu AI. ['GLM', 'GLM 4', 'GLM-4', 'GLM-4-32B-0414', 'GLM-4.5', 'GLM-4.6', 'GLM-4.7', 'glm-4.7-flash', 'GLM-4-9B-0414', 'GLM-4-9B-Chat-1M', 'GLM-4-Air-250414', 'GLM-4-Flash-250414', 'GLM 5', 'GLM-5', 'GLM-5.1', 'GLM5.1', 'GLM 5.2', 'GLM-5.2', 'GLM-5.5', 'GLM5-744B-A40B', 'GLM-Z1-32B-0414', 'GLM-Z1-9B-0414', 'GLM-Z1-Air', 'GLM-Z1-AirX', 'GLM-Z1-Flash', 'GLM-Z1-Rumination-32B-0414', 'not specified']

Pesquisa 🇺🇸

Além dos LLMs Padrão: Híbridos de Atenção Linear, Modelos de Difusão de Texto, Modelos de Mundo de Código e Pequenos Transformers Recorrentes

O artigo explora alternativas aos LLMs padrão baseados em transformers autorregressivos: híbridos de atenção linear (MiniMax-M1, Qwen3-Next, DeepSeek V3.2, Kimi Linear), modelos de difusão de texto, modelos de mundo de código e pequenos transformers recorrentes. O autor observa um retorno à atenção clássica no MiniMax-M2 e a complexidade da atenção linear em produção.

Moonshot AIMoonshot AI MiniMaxMiniMax Alibaba/QwenAlibaba/Qwen DeepSeekDeepSeek Google/DeepMindGoogle/DeepMind MistralMistral MetaMeta Hugging FaceHugging Face Allen Institute for AIAllen Institute for AI xAIxAI OpenAIOpenAI IBMIBM NVIDIANVIDIA
Sebastian Raschka27.07 · 17:04
Modelos 🇺🇸

Leanstral: Fundação Aberta para Programação Confiável

A Mistral AI lançou o Leanstral, o primeiro agente de código aberto para o assistente de provas Lean 4. O modelo, com 6 bilhões de parâmetros ativos, enfrenta tarefas de verificação formal, superando modelos abertos maiores em eficiência e alcançando resultados competitivos a um custo significativamente menor em comparação com a família Claude da Anthropic.

MistralMistral AnthropicAnthropic Alibaba/QwenAlibaba/Qwen Moonshot AIMoonshot AI
Mistral AI27.07 · 16:04
Notícias frescas