Webtagr - Sumário de Notícias de Tecnologia

Tags populares：

Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Desvendando a Matemática por trás do Jogo de Palavras Diário do NYT 'Waffle'

2025-01-17

Um artigo no arXiv explora a matemática por trás do jogo de palavras diário do New York Times, Waffle. O autor S.P. Glasby investiga as propriedades combinatórias do jogo, explicando por que alguns quebra-cabeças são fáceis, enquanto outros são excepcionalmente difíceis. A pesquisa revela que uma solução perfeita requer precisamente 11 órbitas entre os 21 quadrados, com pelo menos uma órbita de comprimento 1. Isso fornece uma estrutura matemática para entender e potencialmente melhorar quebra-cabeças de palavras semelhantes.

(arxiv.org)

Jogos

Titans: Uma Nova Arquitetura Neural para Aprendizado de Memorização em Tempo de Teste

2025-01-16

Pesquisadores apresentam Titans, uma nova arquitetura neural que combina um módulo de memória neural com um mecanismo de atenção para memorizar efetivamente o contexto histórico de longo prazo. Ao contrário dos modelos recorrentes tradicionais e mecanismos de atenção, Titans demonstra eficiência e precisão superiores no manuseio de sequências longas, especialmente em tarefas de "encontrar uma agulha em um palheiro". Ele supera os Transformers e os modelos recorrentes lineares recentes em várias tarefas, incluindo modelagem de linguagem, raciocínio de senso comum, genômica e séries temporais, e escala para janelas de contexto superiores a 2 milhões de tokens.

(arxiv.org)

IA memória de longo prazo mecanismo de atenção

Rumo ao Raciocínio do Sistema 2 em LLMs: Aprendendo a Pensar com Meta Chain-of-Thought

2025-01-10

Os pesquisadores propõem uma nova estrutura, Meta Chain-of-Thought (Meta-CoT), que estende o Chain-of-Thought (CoT) tradicional modelando explicitamente o raciocínio subjacente necessário para chegar a um determinado CoT. A Meta-CoT utiliza supervisão de processo, geração de dados sintéticos e algoritmos de busca. O artigo descreve um pipeline de treinamento que incorpora ajuste de instruções com rastros de busca linearizados e aprendizado por reforço. Este trabalho fornece um roteiro para habilitar Meta-CoT em LLMs, prometendo um raciocínio mais poderoso e semelhante ao humano em IA.

(arxiv.org)

IA Cadeia de Pensamento

Desafiando o Teorema CAP: Uma Conjectura de Progresso Parcial sob Assincronia

2025-01-08

Um novo artigo desafia o conhecido teorema CAP. Os autores conjecturam que o progresso parcial é possível sob partições de rede, significando que o sistema pode permanecer responsivo a um subconjunto de clientes e atingir uma taxa de transferência diferente de zero durante falhas. Eles apresentam o design de seu protocolo de consenso CASSANDRA, permitindo que réplicas particionadas ordenem solicitações de clientes, oferecendo potencialmente um caminho para sistemas que são consistentes e disponíveis em certa medida, mesmo durante partições. Esta pesquisa oferece uma abordagem nova para construir sistemas distribuídos mais robustos.

(arxiv.org)

Desenvolvimento Teorema CAP protocolo de consenso

Uma Década de Revisão: Mergulhando na Detecção de Anomalias em Séries Temporais

2025-01-06

Avanços na tecnologia de coleta de dados e a explosão de dados em streaming destacam a necessidade crucial de análise de séries temporais. Este artigo fornece uma revisão de uma década sobre a detecção de anomalias em séries temporais, abrangendo métodos desde medidas estatísticas tradicionais até o aumento de algoritmos de aprendizado de máquina. Apresenta uma taxonomia centrada em processos para categorizar e resumir as soluções existentes, oferecendo uma meta-análise da literatura e destacando as tendências gerais no campo. Esta pesquisa abrangente serve como um recurso valioso para pesquisadores.

(arxiv.org)

IA séries temporais detecção de anomalias

Cientistas decifram o código do Cacio e Pepe perfeito

2025-01-04

Uma equipe de cientistas mergulhou na arte culinária, especificamente no prato clássico italiano Cacio e Pepe, para desvendar os segredos por trás de sua textura cremosa perfeita. Sua pesquisa revelou a concentração de amido como o fator chave que influencia a estabilidade do molho. Níveis de amido abaixo de 1% (em relação à massa do queijo) levam à formação de grumos, um fenômeno denominado "Fase Mozzarella", resultando em um molho separado e desagradável. O estudo também explorou o impacto das proporções de queijo e água em um nível fixo de amido, observando uma temperatura crítica de solução inferior e desenvolvendo um modelo de energia livre eficaz mínimo para explicá-lo. Por fim, eles apresentaram uma receita otimizada cientificamente, garantindo um Cacio e Pepe impecável consistentemente.

(arxiv.org)

Diversos ciência de alimentos culinária

Reproduzindo o OpenAI o1: Um Roteiro a partir da Perspectiva do Aprendizado por Reforço

2025-01-03

Um novo artigo explora o caminho para reproduzir o enigmático modelo o1 da OpenAI, a partir da perspectiva do aprendizado por reforço. Os pesquisadores argumentam que a poderosa capacidade de raciocínio do o1 não se deve a uma única técnica, mas sim à sinergia de quatro componentes-chave: inicialização da política, design de recompensa, busca e aprendizado. A inicialização da política equipa o modelo com raciocínio semelhante ao humano; o design de recompensa fornece sinais densos e eficazes que orientam a busca e o aprendizado; a busca gera soluções de alta qualidade durante o treinamento e os testes; o aprendizado utiliza dados da busca para melhorar a política, atingindo, finalmente, um desempenho melhor. Este artigo oferece insights valiosos para entender e reproduzir o o1, fornecendo novas vias para o desenvolvimento de LLMs.

(arxiv.org)

IA aprendizado por reforço reprodução de modelo

4,5 Milhões de Estrelas Falsas no GitHub: Uma Competição de Popularidade Sombria

2025-01-02

Um novo estudo revela 4,5 milhões de estrelas falsas suspeitas no GitHub, usadas principalmente para promover repositórios de malware de curta duração disfarçados de softwares piratas, trapaças de jogos ou bots de criptomoedas. Os pesquisadores desenvolveram o StarScout, uma ferramenta para detectar comportamentos anômalos de estrelas. O estudo mostra um aumento rápido na atividade de estrelas falsas desde 2024. Embora os usuários que dão estrelas falsas não difiram significativamente dos usuários médios em termos de características de perfil, seus padrões de atividade são altamente anormais. Embora ofereçam benefícios promocionais de curto prazo, as estrelas falsas acabam se tornando um fardo a longo prazo. Esta pesquisa tem implicações significativas para moderadores de plataformas, praticantes de código aberto e pesquisadores de segurança da cadeia de suprimentos.

(arxiv.org)

Tecnologia

TinyStories: Modelos de linguagem pequenos ainda podem falar inglês coerente?

2025-01-02

Pesquisadores apresentam o TinyStories, um conjunto de dados sintético de histórias curtas usando apenas vocabulário compreendido por crianças típicas de 3 a 4 anos, gerado por GPT-3.5 e GPT-4. Eles demonstram que modelos de linguagem treinados em TinyStories, mesmo aqueles com menos de 10 milhões de parâmetros e arquiteturas simples (um único bloco transformador), podem gerar histórias de vários parágrafos fluentes e coerentes, exibindo gramática e raciocínio surpreendentemente bons. Isso desafia a noção de que a geração de texto coerente requer modelos massivos e arquiteturas complexas e introduz um novo paradigma de avaliação usando GPT-4 para classificar histórias geradas como um professor humano, superando as limitações dos benchmarks padrão.

(arxiv.org)

IA modelos de linguagem aprendizado de poucos exemplos

Engenharia de Ativação: Manipulando Traços de Personalidade em LLMs

2024-12-31

Um artigo no arXiv explora um novo método para identificar e manipular traços de personalidade em modelos de linguagem grandes (LLMs) usando 'engenharia de ativação'. Inspirado em pesquisas anteriores sobre recusa e direcionamento de LLMs, os pesquisadores propõem uma técnica para ajustar direções de ativação ligadas a traços de personalidade, permitindo o ajuste fino dinâmico da personalidade do LLM. Este trabalho contribui para uma melhor compreensão da interpretabilidade do LLM, ao mesmo tempo em que levanta considerações éticas cruciais.

(arxiv.org)

IA Engenharia de Ativação Personalidade

Além da Média de Gradientes em Otimização Paralela: Robustez Aprimorada por meio de Filtragem de Concordância de Gradientes

2024-12-30

Este artigo apresenta a Filtragem de Concordância de Gradientes (FCG), um novo método para melhorar a média de gradientes na otimização de aprendizado profundo distribuído. Métodos tradicionais somam gradientes de microbatches para calcular um gradiente de macrobatch, mas isso pode levar a gradientes ortogonais ou negativamente correlacionados nos estágios posteriores do treinamento, resultando em overfitting. A FCG reduz a variância do gradiente calculando a distância do cosseno entre microgradientes e filtrando atualizações conflitantes antes da média. Experimentos em benchmarks de classificação de imagens como CIFAR-100 e CIFAR-100N-Fine mostram que a FCG melhora significativamente a precisão de validação, mesmo com tamanhos de microbatch menores, alcançando até 18,2% de melhoria em relação às abordagens tradicionais, ao mesmo tempo em que reduz o custo computacional.

(arxiv.org)

IA médias de gradientes robusiness

Avaliando a capacidade de geração de código de LLMs: Apresentando o MultiCodeBench

2024-12-30

Assistentes de programação baseados em IA e alimentados por Large Language Models (LLMs) de código tornaram-se cada vez mais comuns, aumentando significativamente a produtividade dos desenvolvedores. No entanto, os benchmarks existentes de geração de código focam principalmente em cenários de uso geral, deixando o desempenho dos LLMs em domínios de aplicativos específicos em grande parte desconhecido. Este artigo apresenta o MultiCodeBench, um novo benchmark composto por 2.400 tarefas de programação em 12 domínios populares de desenvolvimento de software e 15 linguagens de programação. Experimentos em onze LLMs principais revelam seu desempenho na geração de código em diferentes domínios, oferecendo insights práticos para desenvolvedores na seleção de LLMs e orientação para desenvolvedores de modelos para melhorar as capacidades de geração de código específicas do domínio.

(arxiv.org)

Desenvolvimento Geração de Código

Avanço na Avaliação de Modelos de Linguagem Grandes para Geração de Testes Unitários

2024-12-30

Pesquisadores realizaram uma avaliação abrangente do potencial de Modelos de Linguagem Grandes (LLMs) na automação da geração de testes unitários. Eles compararam o desempenho de cinco LLMs de código aberto contra o GPT-4 de código fechado e a ferramenta tradicional Evosuite em 17 projetos Java, investigando o impacto de diferentes estratégias de prompt. O estudo descobriu que os LLMs de código aberto oferecem vantagens em privacidade de dados e superam em desempenho em determinadas tarefas, mas também revelou limitações na geração de testes unitários baseada em LLM. Esta pesquisa fornece insights valiosos para orientar aplicações futuras de LLMs nessa área.

(arxiv.org)

Desenvolvimento Testes Unitários

Confusão de Identidade em LLMs: Uma Crise de Confiança Emerge

2024-12-30

Um estudo recente revela a disseminação de "confusão de identidade" em Modelos de Linguagem Grandes (LLMs). Os pesquisadores descobriram que mais de 25% dos LLMs apresentam deturpação de suas origens ou identidades, principalmente devido a alucinações do modelo, em vez de replicação ou reutilização. Essa confusão de identidade erode significativamente a confiança do usuário, especialmente em tarefas críticas como educação e uso profissional, superando o impacto negativo de erros lógicos. As descobertas destacam os riscos sistêmicos apresentados pela confusão de identidade de LLM e pedem maior atenção à confiabilidade e credibilidade do modelo.

(arxiv.org)

IA Confusão de Identidade Crise de Confiança

Explicando decisões de modelos de linguagem grandes usando valores de Shapley

2024-12-28

Modelos de linguagem grandes (LLMs) oferecem possibilidades empolgantes para simular o comportamento humano, mas seus processos de tomada de decisão carecem de transparência. Este artigo apresenta uma nova abordagem baseada em valores de Shapley para interpretar o comportamento de LLMs e quantificar a contribuição de cada componente de prompt para a saída do modelo. Por meio de dois casos de aplicação, o estudo revela que as decisões de LLM são suscetíveis a "ruído de token", onde o modelo reage desproporcionalmente a tokens com conteúdo informativo mínimo. Isso levanta preocupações sobre a robustez e a generalização de insights de LLMs na simulação de comportamento humano, destacando a necessidade de engenharia cuidadosa de prompts e uma compreensão mais matizada de suas limitações quando usados em pesquisa.

(arxiv.org)

IA Valores de Shapley Explicabilidade

Invariantes: Computação e Aplicações

2024-12-27

Um artigo tutorial publicado nos anais do ISSAC 2023 explora a computação e as aplicações de invariantes na matemática. O artigo concentra-se na interação entre as teorias de invariantes diferenciais e algébricas, apresentando uma adaptação algébrica do método da estrutura móvel da geometria diferencial para calcular um conjunto gerador de invariantes racionais. Também discute o papel das assinaturas de invariantes diferenciais na resolução de problemas de equivalência em geometria e álgebra, e os desafios no projeto de algoritmos baseados neste conceito.

(arxiv.org)

Desenvolvimento invariantes geometria diferencial

Políticas Adversárias Derrotam IAs de Go Superhumanas

2024-12-24

Pesquisadores alcançaram uma taxa de vitória superior a 97% contra o KataGo, um sistema de IA de Go de última geração, treinando políticas adversárias. Esses adversários não venceram jogando Go bem, mas enganando o KataGo para que cometesse erros críticos. O ataque foi transferido sem treinamento para outras IAs de Go super-humanas e foi simples o suficiente para especialistas humanos replicarem sem assistência algorítmica. A vulnerabilidade persistiu mesmo depois que o KataGo foi treinado adversarialmente para se defender contra ela, destacando modos de falha surpreendentes mesmo em sistemas de IA super-humanos.

(arxiv.org)

IA políticas adversárias vulnerabilidades de IA IA de Go

Evidências de Supernovas Sugerem Mudança Fundamental em Modelos Cosmológicos

2024-12-23

Um novo estudo apresenta uma análise estatística independente do modelo cosmológico do conjunto de dados espectroscópicos de supernovas do Tipo Ia Pantheon+, melhorando a metodologia padrão usada por Lane et al. Ao empregar apenas a equação de Tripp para a padronização de supernovas, o estudo evita potenciais correlações nas distribuições de alongamento e cor. Os resultados favorecem fortemente a cosmologia 'Timescape' sobre o modelo ΛCDM padrão na explicação dos dados, fornecendo evidências para a necessidade de rever os fundamentos da cosmologia teórica e observacional. Mesmo restringindo a amostra a redshifts além das escalas convencionais de homogeneidade estatística (z > 0,075), Timescape permanece preferido sobre ΛCDM.

(arxiv.org)

Tecnologia Cosmologia Supernovas Cosmologia Timescape

Aprendizado por Reforço Offline Melhora o Raciocínio em Múltiplas Etapas de LLMs

2024-12-23

Pesquisadores apresentam OREO, um método de aprendizado por reforço offline projetado para aprimorar as capacidades de raciocínio em múltiplas etapas de modelos de linguagem grandes (LLMs). Baseado no aprendizado por reforço de entropia máxima, OREO aprende conjuntamente um modelo de política e uma função de valor otimizando a equação de Bellman suave. Isso resolve as limitações da Otimização Direta de Preferências (DPO) no raciocínio em múltiplas etapas, especificamente a necessidade de dados de preferência pareados extensos e o desafio da atribuição de crédito eficaz. Experimentos demonstram a superioridade do OREO sobre os métodos de aprendizado offline existentes em benchmarks envolvendo raciocínio matemático e controle de agente incorporado.

(arxiv.org)

IA Raciocínio em Múltiplas Etapas

Problema de Tokenização Provado como NP-Completo, Dobrando os Desafios de Compressão de Dados

2024-12-22

Um artigo publicado no arXiv prova a completude NP de duas variantes de tokenização, definida como o problema de comprimir um conjunto de dados para no máximo δ símbolos, encontrando um vocabulário diretamente (tokenização direta) ou selecionando uma sequência de operações de mesclagem (tokenização bottom-up). Essa descoberta tem implicações significativas para a compressão de dados e o processamento de linguagem natural, destacando o imenso desafio de resolver eficientemente o problema de tokenização para conjuntos de dados em larga escala.

(arxiv.org)

Desenvolvimento NP-completo tokenização compressão de dados

Avanço inovador: Compilando C para Rust com segurança

2024-12-21

Pesquisadores desenvolveram um novo método para compilar código C para Rust com segurança. Essa técnica utiliza análise estática e tradução orientada a tipos para evitar a dependência de blocos `unsafe` do Rust, garantindo assim a segurança de memória. O método foi aplicado com sucesso a códigos da biblioteca criptográfica HACL* e das bibliotecas EverParse, resultando em uma biblioteca criptográfica moderna verificada de 80.000 linhas em Rust puro — a primeira do tipo.

(arxiv.org)

Desenvolvimento Compilação C Segurança de memória

Classificação de Segurança Leve Usando Modelos de Linguagem Podados

2024-12-19

Pesquisadores apresentam a Classificação Aprimorada por Camada (LEC), uma nova técnica leve para classificação de segurança de conteúdo e injeção de prompt em Modelos de Linguagem Grandes (LLMs). LEC treina um classificador de Regressão Logística Penalizada (PLR) otimizado no estado oculto da camada transformadora intermediária ideal de um LLM. Combinando a eficiência do PLR com a compreensão sofisticada da linguagem dos LLMs, o LEC supera o GPT-4o e modelos especializados. Modelos de uso geral pequenos, como o Qwen 2.5, e arquiteturas como DeBERTa v3, se mostram robustos extratores de recursos, treinando efetivamente com menos de 100 exemplos de alta qualidade. É crucial que as camadas transformadoras intermediárias geralmente superem a camada final. Um único LLM de uso geral pode classificar a segurança do conteúdo, detectar injeções de prompt e gerar saída, ou LLMs menores podem ser podados para sua camada intermediária ideal para extração de recursos. Resultados consistentes em diferentes arquiteturas sugerem que a extração robusta de recursos é inerente a muitos LLMs.

(arxiv.org)

IA Classificação de Segurança Extração de Recursos

Algoritmos de Ordenação Clássicos Revelam Competências Inesperadas em um Modelo Minimal de Inteligência Basal

2024-12-19

Um novo estudo utiliza algoritmos de ordenação clássicos como modelo de morfogênese, desafiando a sabedoria convencional sobre esses algoritmos. Ao quebrar as suposições de controle de cima para baixo e hardware perfeitamente confiável, os pesquisadores descobriram que matrizes de elementos autônomos se ordenam de forma mais confiável e robusta do que as implementações tradicionais, mesmo na presença de erros. Surpreendentemente, esses algoritmos exibem a capacidade de reduzir temporariamente o progresso para navegar em torno de defeitos e comportamento de agrupamento inesperado entre elementos em matrizes quiméricas seguindo algoritmos diferentes. Essa descoberta fornece uma nova perspectiva sobre a inteligência diversa, demonstrando como formas basais de inteligência podem surgir em sistemas simples sem codificação explícita em sua mecânica subjacente.

(arxiv.org)

IA inteligência diversa morfogênese algoritmos de ordenação

Evolução Cultural da Cooperação entre Agentes de LLMs

2024-12-18

Pesquisadores examinaram se uma 'sociedade' de agentes de Modelos de Linguagem Grandes (LLMs) pode aprender normas sociais mutuamente benéficas, mesmo com incentivos para defeitar. Experimentos revelaram diferenças significativas na evolução da cooperação entre modelos base, com o Claude 3.5 Sonnet superando significativamente o Gemini 1.5 Flash e o GPT-4o. Além disso, o Claude 3.5 Sonnet utilizou um mecanismo de punição custoso para alcançar pontuações ainda mais altas, um feito não replicado pelos outros modelos. Este estudo propõe um novo benchmark para LLMs focado nas implicações sociais da implantação de agentes LLM, oferecendo insights para a construção de agentes de IA mais robustos e cooperativos.

(arxiv.org)

IA Cooperação Normas Sociais

Sem Mais Adam: Escalonamento da Taxa de Aprendizagem na Inicialização é Tudo o que Você Precisa

2024-12-18

Pesquisadores apresentam SGD-SaI, um novo otimizador que aprimora o método de descida de gradiente estocástico. O SGD-SaI aborda desequilíbrios de treinamento por meio do escalonamento da taxa de aprendizagem na inicialização para diferentes grupos de parâmetros, com base em suas relações sinal-ruído de gradiente. Muito mais eficiente em termos de memória do que o AdamW, o SGD-SaI iguala ou supera o desempenho do AdamW em várias tarefas baseadas em Transformer, incluindo classificação ImageNet e pré-treinamento de LLMs. Sua robustez e praticidade são demonstradas em diversos aplicativos, tornando-o uma alternativa convincente.

(arxiv.org)

IA

Ataque Best-of-N: Quebrando Sistemas de IA

2024-12-15

Pesquisadores desenvolveram um novo algoritmo de ataque de IA chamado Best-of-N (BoN). Este algoritmo de caixa-preta modifica repetidamente prompts — embaralhando aleatoriamente ou colocando em maiúsculas texto, por exemplo — até obter uma resposta prejudicial do sistema de IA. O BoN atingiu taxas de sucesso de ataque (ASRs) impressionantemente altas em modelos de linguagem de código fechado, como GPT-4o (89%) e Claude 3.5 Sonnet (78%), contornando efetivamente as defesas existentes. Além disso, o BoN se estende perfeitamente a modelos de linguagem visual e de áudio, destacando a vulnerabilidade de até mesmo sistemas de IA avançados a variações de entrada aparentemente inócuas. Esta pesquisa destaca preocupações significativas de segurança no campo da IA.

(arxiv.org)

IA Segurança de IA Ataque de IA

Fábrica Automática de Insetos Ciborgues: Sistema de Montagem Automática para Construir Robôs Híbridos Inseto-Computador

2024-12-15

Pesquisadores desenvolveram um sistema automatizado para montar robôs híbridos inseto-computador. O sistema utiliza um braço robótico guiado por visão para implantar com precisão eletrodos bipolares personalizados nas costas de baratas-de-Madagascar. Todo o processo leva apenas 68 segundos, e os robôs montados alcançam controle de direção e desaceleração comparável aos sistemas montados manualmente. Um sistema multiagente de 4 robôs navegou com sucesso um percurso com obstáculos, demonstrando a viabilidade de produção em massa e aplicações no mundo real. Esta pesquisa prepara o caminho para a produção e implantação em escala de robôs insetos.

(arxiv.org)

IA robôs insetos montagem automatizada robótica

CCxTrust: Plataforma de Computação Confidencial Baseada em TEE e TPM com Confiança Colaborativa

2024-12-12

O CCxTrust é uma plataforma inovadora de computação confidencial que combina as vantagens dos Ambientes de Execução Confiáveis (TEEs) e dos Módulos de Plataforma Confiáveis (TPMs) para estabelecer uma estrutura de confiança colaborativa. Aproveitando a RoT de caixa-preta incorporada aos TEEs de CPU e a RoT de caixa-branca flexível dos TPMs, o CCxTrust alcança a proteção de ponta a ponta de dados e modelos sensíveis, superando as limitações de depender de uma única RoT de hardware. A plataforma implementa Roots of Trust for Measurement (RTM) independentes e um Root of Trust for Report (RTR) colaborativo, aprimorado por um protocolo de atestação composta para segurança e eficiência melhoradas. Os resultados experimentais demonstram vantagens significativas de desempenho.

(arxiv.org)

IA Computação Confidencial Ambiente de Execução Confiável Módulo de Plataforma Confiável

Análise de Alcance do Sistema de Nomes de Domínio Avança

2024-12-12

Pesquisadores apresentaram o primeiro procedimento de decisão para verificar o Sistema de Nomes de Domínio (DNS), estabelecendo sua complexidade como 2ExpTime. O estudo formaliza a semântica do DNS e usa uma nova abstração baseada em linguagens positivamente testáveis por prefixo, reduzindo o problema de verificação do DNS ao problema de verificação para sistemas pushdown. Essa abordagem modela efetivamente vetores de ataque no DNS, como ataques de amplificação e blackholing de reescrita, fornecendo uma nova base teórica para garantir a segurança e confiabilidade do DNS.

(arxiv.org)

Desenvolvimento segurança DNS verificação formal análise de alcance

← Previous 1 2 3 4 5 6 7 8 9 Next →