Lar
Ferramentas
Modelos
App
Prompts
Notícias
Tópicos
Envie para inclusão
Português
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
opção
Lar Fechar
Lar
Ferramentas
Categoria Ranking Gerar capa Gerar imagem Skill
Modelos
Modelo de linguagem grande Modelo multimodal
App
Prompts
Prompts Prompts de imagem
Notícias
Notícias Últimas notícias
Tópicos
Envie para inclusão
Enviar App Enviar Ferramenta
Criar uma conta Entrar
Mudar a linguagem Português Mudar a linguagem
Configurações
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
Lar
Últimas notícias
Contente
EdwardScott
EdwardScott
6 de Julho de 2026

A Mistral AI lançou o Leanstral 1.5, um modelo de prova matemática formal com 119 bilhões de parâmetros que utiliza apenas 6 bilhões deles, disponibilizado em código aberto sob a licença Apache-2.0. Esse modelo obteve 100% de acertos no teste miniF2F, resolveu 587 dos 672 problemas do PutnamBench e seu custo é de 4 dólares por problema, contra mais de 300 dólares praticados pelos concorrentes. Além disso, ele identificou 47 violações de código em 57 repositórios, incluindo 5 problemas do GitHub que não haviam sido relatados anteriormente.

A Mistral AI lançou o Leanstral 1.5, um modelo de prova matemática formal com 119 bilhões de parâmetros que utiliza apenas 6 bilhões deles, disponibilizado em código aberto sob a licença Apache-2.0. Esse modelo obteve 100% de acertos no teste miniF2F, resolveu 587 dos 672 problemas do PutnamBench e seu custo é de 4 dólares por problema, contra mais de 300 dólares praticados pelos concorrentes. Além disso, ele identificou 47 violações de código em 57 repositórios, incluindo 5 problemas do GitHub que não haviam sido relatados anteriormente.
0
0
Compartilhar Clique para copiar o link
Comentários (0)
0/300
Enviar
Autor HarperJones HarperJones 13 de Outubro de 2026
A OpenAI integra o GPT-6 com uma interface de usuário inteligente ao ChatGPT, possibilitando gráficos interativos e widgets nas conversas. Isso transforma os grandes modelos de meros provedores de informação em pontos de entrada para interação com tarefas, revolucionando as interfaces fixas dos aplicativos. Essa iniciativa representa uma ameaça às ferramentas de IA independentes e às plataformas de conteúdo, ao eliminar a necessidade de aplicativos separados. Enquanto isso, superaplicativos como o WeChat e o Douyin ganham vantagens competitivas ao aproveitar ecossistemas e canais de distribuição existentes para integrar pontos de entrada diretamente aos cenários dos usuários.
0
0
Autor DouglasAnderson DouglasAnderson 13 de Outubro de 2026
A Qwen esclarece que o Qwen Go é um agente de IA pessoal integrado ao seu aplicativo, e não um aplicativo independente para download. Os usuários podem solicitar acesso a tarefas como o processamento de reclamações relacionadas a voos e a comparação de preços. O recurso tem como objetivo evoluir para um assistente mais inteligente e personalizado, aproveitando o ecossistema do Alibaba para lidar com diversas tarefas pessoais diretamente na plataforma existente, em vez de lançar um aplicativo separado.
0
0
Autor DouglasThomas DouglasThomas 13 de Outubro de 2026
A ByteDance Seed cria o departamento de Alinhamento e Preparação de Modelos, liderado por Yan Lin, com o objetivo de aprimorar a segurança da IA. Essa nova unidade se concentra em garantir a segurança dos modelos de agentes inteligentes e mitigar riscos CBRN por meio de regulamentação, avaliação e treinamento de alinhamento. Como o primeiro laboratório chinês de ponta em IA a criar um departamento dedicado à segurança, a Seed tem como objetivo garantir que os modelos operem dentro de limites seguros, reduzindo o uso indevido e desvios comportamentais, ao mesmo tempo em que promove a colaboração aberta com pesquisadores externos para apoiar aplicações em larga escala.
0
0
Autor KevinRoberts KevinRoberts 13 de Outubro de 2026
A MiniMax entra no Taobao com sua primeira loja oficial, vendendo assinaturas do M Plan. Isso reflete uma mudança mais ampla no setor, em que fornecedores de IA, como a Zhipu e a Alibaba Cloud, transferem as vendas de tokens dos sites oficiais para plataformas de comércio eletrônico. O Taobao lançou uma “Estação Espacial de IA” para consolidar esses serviços. A estratégia tem como alvo o grande público, transformando o uso técnico de APIs em produtos de varejo acessíveis, deslocando a competição dos parâmetros técnicos para a acessibilidade direta ao consumidor e os preços.
0
0
Autor JoseJackson JoseJackson 13 de Outubro de 2026
A Amazon está em negociações para adquirir a Decart por 7 bilhões de dólares. A startup de três anos, fundada em 2023, oferece software de compatibilidade entre chips que permite que modelos de IA sejam executados sem problemas em diferentes hardwares, como GPUs da NVIDIA, TPUs do Google e Trainium da Amazon. Essa tecnologia visa reduzir custos e melhorar o desempenho em até oito vezes. A Decart anteriormente não conseguiu fechar acordos com a NVIDIA e a Anthropic, ambas as quais desistiram após a devida diligência. A Amazon está pagando um prêmio significativo em comparação com a recente avaliação de 4 bilhões de dólares da Decart, com o objetivo de fortalecer seu ecossistema AWS e reduzir os custos por token para seus chips Trainium, ao mesmo tempo em que apoia suas estratégias mais amplas de computação em nuvem e inteligência incorporada.
0
0
OR