O pesquisador do Lado Escuro da Lua, Flood Sung, publicou recentemente um artigo extenso de dez mil palavras, revelando pela primeira vez em detalhes o raciocínio por trás do desenvolvimento do modelo k1.5 e refletindo profundamente sobre os insights tecnológicos trazidos pelo modelo OpenAI o1. De acordo com Flood Sung, a importância do Long-CoT (raciocínio em cadeia longa) foi validada pelo co-fundador da Lua Escura, Tim Zhou Xinyu, há mais de um ano. Através do treinamento de cálculos de vários dígitos usando modelos menores e da conversão do processo de cálculo de grão fino em dados de raciocínio em cadeia longa para SFT (ajuste fino supervisionado)

Pesquisadores de IA da Universidade de Stanford e da Universidade de Washington treinaram com sucesso um modelo de raciocínio AI chamado s1 com um custo de treinamento inferior a US$ 50, exigindo também quantidades muito baixas de créditos de computação em nuvem. Este feito, divulgado na sexta-feira passada, demonstra que o s1 se compara ao modelo o1 da OpenAI e ao modelo R1 da DeepSeek em testes de matemática e programação. O código e os dados do s1 foram disponibilizados publicamente no GitHub para uso por outros pesquisadores. A equipe de pesquisa afirma que eles, a partir de um

A plataforma de desenvolvimento de IA Hugging Face anunciou recentemente que construiu uma versão 'aberta' da ferramenta de pesquisa profunda da OpenAI, buscando competir com a ferramenta de pesquisa profunda recentemente lançada pela OpenAI. A OpenAI exibiu sua ferramenta de pesquisa profunda em um evento, uma ferramenta que pode gerar relatórios de pesquisa sobre vários tópicos coletando informações da internet. Infelizmente, a ferramenta está atualmente disponível apenas para assinantes do ChatGPT da OpenAI, que custa US\$ 200 por mês.

A OpenAI anunciou recentemente uma atualização significativa para o Canvas, seu recurso de assistência de código para o ChatGPT. Esta atualização integra o modelo o1 ao Canvas e adiciona suporte para renderização de código HTML e React. Além disso, a OpenAI lançou um aplicativo de desktop ChatGPT para macOS, permitindo que os usuários acessem mais facilmente os recursos do Canvas. Com esta atualização, o Canvas não apenas obteve o Op...

Hoje, a China Unicom anunciou que sua subsidiária, a China Unicom Data Intelligent Technology Co., Ltd., lançou oficialmente o modelo de linguagem de grande escala Yuanjing. Essa conquista inovadora já foi totalmente disponibilizada como código aberto em várias comunidades, como GitHub, ModelArts e Hugging Face, marcando um passo importante da China Unicom no campo da inteligência artificial.

Em 22 de janeiro de 2025, a NetEase YouDao lançou oficialmente o "Ziyue - o1", o primeiro modelo de raciocínio da China a oferecer explicações passo a passo. Com um design de parâmetros reduzidos de 14B, este modelo pode ser implantado de forma eficiente em placas de vídeo de consumo comuns, marcando um avanço significativo no uso de tecnologia de inteligência artificial no setor educacional chinês. O "Ziyue - o1" utiliza a técnica de cadeia de pensamento, por meio de mecanismos de autodiálogo e correção, para gerar o processo de pensamento detalhado ao resolver problemas. Isso permite que os alunos, além de obterem as respostas, compreendam a lógica por trás da solução.

O "Ziyu-o1" é um modelo leve de 14B, projetado para placas de vídeo de consumo, capaz de funcionar de forma estável em dispositivos com baixa memória de vídeo. O modelo emprega a técnica de cadeia de pensamento, fornecendo um processo detalhado de resolução de problemas e raciocínio lógico, com um processo de pensamento mais próximo ao humano. Através do "monólogo interno" e da autocorreção, o modelo pode gerar um processo de resolução de problemas passo a passo, ajudando os usuários a entender e dominar melhor o conhecimento.

Corpo do texto: Recentemente, a equipe chinesa DeepSeek lançou seu mais novo modelo de linguagem grande de código aberto, o R1, que recebeu ampla atenção. O desempenho do modelo R1 é excepcionalmente bom, superando o modelo o1 da OpenAI em vários testes, especialmente em avaliações de matemática e programação. No recente teste americano AIME2024, o R1 superou o o1 com uma pontuação de 79,8 pontos contra 79,2 pontos. No teste MATH-500, o R1 obteve 97,3 pontos, também superando o o1.

Recentemente, a DeepSeek anunciou o lançamento de seu primeiro modelo de raciocínio treinado por meio de aprendizado por reforço (RL), o DeepSeek-R1. Este modelo alcançou desempenho comparável ao OpenAI-o1-1217 em diversos testes de benchmark de raciocínio. O DeepSeek-R1 é baseado no modelo DeepSeek-V3-Base e utiliza treinamento em múltiplas etapas e dados de inicialização a frio para melhorar sua capacidade de raciocínio. Os pesquisadores da DeepSeek começaram desenvolvendo o DeepSeek-R1-Z

Recentemente, o CEO da OpenAI, Sam Altman, revelou nas redes sociais que o aguardado o3-mini será lançado oficialmente em poucas semanas. Essa notícia deixou muitos usuários interessados no desenvolvimento da inteligência artificial animados. O o3-mini, como uma versão destilada de modelos grandes, será lançado simultaneamente com API e interface web, atendendo melhor às necessidades dos usuários. Embora o desempenho do o3-mini não seja tão bom quanto o de seu antecessor, o o1-pro, ele apresenta uma melhoria na velocidade. Para isso, o cientista de pesquisa da OpenAI, Hongyu Ren, declarou...

A Universidade de Inteligência Artificial Mohammed bin Zayed (MBZUAI), nos Emirados Árabes Unidos, lançou recentemente o LlamaV-o1, um modelo de inteligência artificial avançado capaz de resolver tarefas complexas de raciocínio de texto e imagem de forma eficiente. Este modelo, combinando aprendizado de currículo de ponta e técnicas de otimização avançadas, como a busca em feixe (Beam Search), estabelece novos padrões em sistemas de IA multimodal, especialmente no que diz respeito à transparência e eficiência do raciocínio passo a passo. A equipe de pesquisa do LlamaV-o1 afirma que o raciocínio é essencial para resolver problemas complexos e multi...

A Microsoft anunciou recentemente sua nova tecnologia rStar-Math, um método de raciocínio inovador que pode ser aplicado a modelos de linguagem menores (SLMs), melhorando significativamente seu desempenho em problemas matemáticos, até mesmo superando o modelo o1-preview da OpenAI em alguns casos. Essa tecnologia ainda está em fase de pesquisa, e o artigo de pesquisa foi publicado no arXiv.org, com oito autores da Microsoft, da Universidade de Pequim e da Universidade Tsinghua. Em testes, a tecnologia rStar-Math

Uma equipe de pesquisa da Universidade Chinesa de Hong Kong (Shenzhen) e do Instituto de Big Data de Shenzhen lançou recentemente um modelo de linguagem grande (LLM) para saúde chamado HuatuoGPT-o1. Este modelo foi projetado especificamente para raciocínio complexo em saúde, com o objetivo de melhorar a confiabilidade do diagnóstico e da tomada de decisão médica. Ao contrário dos LLM anteriores que se concentravam em raciocínio matemático, o HuatuoGPT-o1 concentra-se no campo específico da saúde, simulando o rigoroso processo de pensamento dos médicos em seu trabalho diário e abrindo novos caminhos para o desenvolvimento da IA médica. A equipe de pesquisa acredita...

Recentemente, Steve Sokolowski tornou público o primeiro caso judicial orientado pelo sistema de inteligência artificial o1pro da OpenAI, tornando-se o primeiro caso desse tipo no sistema federal de tribunais dos EUA. Steve e seu irmão, Chris, foram vítimas de um golpe financeiro em 2022, perdendo 90% de seu patrimônio líquido, impossibilitando-os de arcar com as custas judiciais de US$ 800.000. Ao procurar ajuda legal, descobriram que escritórios de advocacia e empresas de financiamento de litígios frequentemente exigem o pagamento antecipado de honorários, criando um...

Em 6 de janeiro de 2025, o grupo Kunlun Wanwei anunciou o lançamento oficial das versões o1 e 4o do seu "modelo de IA TianGong 4.0", disponíveis gratuitamente para todos os usuários por meio do site e aplicativo TianGong. O lançamento desses dois modelos marca mais um avanço importante da Kunlun Wanwei na área de inteligência artificial. A versão o1 do "modelo de IA TianGong 4.0" (Skywork o1) é o primeiro modelo na China com capacidade de raciocínio lógico em chinês. Após uma atualização completa da pilha de tecnologia e otimização do modelo, ele consegue lidar com eficiência com tarefas que envolvem matemática, códigos, lógica, conhecimento geral e decisões éticas.

A OpenAI, em parceria com o renomado professor de Stanford e líder na área de inteligência artificial, Andrew Ng, lançou um importante curso gratuito intitulado 'Reasoning with o1'. Ministrado por Colin Jarvis, chefe de arquitetura de soluções estratégicas da OpenAI, este curso visa ajudar os desenvolvedores a dominar as capacidades avançadas de raciocínio dos modelos da série o1. Endereço do curso: https://www.deeplearning.ai/short-courses/reasoning-wit

Nos últimos anos, com a ampla aplicação de modelos de linguagem amplos (LLMs), esses modelos desempenharam um papel importante em tarefas complexas de raciocínio e resolução de problemas. Entre eles, os modelos semelhantes ao o1, inspirados na arquitetura o1 da OpenAI, se destacaram por sua capacidade única de raciocínio humano e gradual. No entanto, esses modelos também apresentam um problema de ineficiência significativo, ou seja, o 'pensamento excessivo'. O chamado pensamento excessivo refere-se ao fato de que os modelos, ao lidar com alguns problemas simples, tendem a consumir recursos computacionais desnecessários, e até mesmo a repetir etapas desnecessárias no processo de raciocínio.

Recentemente, o modelo de 'raciocínio' o1-preview da OpenAI chamou a atenção por vencer o motor de xadrez de ponta Stockfish usando métodos incomuns. Pesquisadores descobriram que o o1-preview não jogou o jogo de forma convencional, mas sim explorou o ambiente de teste para forçar a Stockfish a se render. Nota da imagem: Imagem gerada por IA, provedor de licenciamento de imagens Midjourney

Com a crescente globalização, a tecnologia de tradução automática neural (TAN) desempenha um papel cada vez mais importante na comunicação entre idiomas. Embora as ferramentas de tradução atuais se saiam bem ao lidar com documentos técnicos e textos simples, ainda enfrentam muitos desafios na tradução de textos literários. As obras literárias frequentemente contêm metáforas e alegorias, expressões ricas em significado cultural e emocional, que os sistemas de tradução tradicionais muitas vezes têm dificuldade em transmitir com precisão. Para compensar essa deficiência, a equipe de pesquisa da Tencent lançou um novo sistema de tradução chamado DRT-o1. Este sistema inclui