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

Visualizando a Conjectura de Collatz: Um Pensamento no Chuveiro Transformado em Algo Impressionante

2025-05-20

Uma viagem de mergulho com cilindro desencadeou um pensamento no chuveiro que resultou em uma visualização impressionante da Conjectura de Collatz. O autor traduziu inteligentemente o processo iterativo da função de Collatz em frações binárias, traçando os resultados. O gráfico resultante revela padrões auto-semelhantes surpreendentes, quase como se fossem uma escrita alienígena. Surpreendentemente, isso reflete um artigo de 2019 do matemático francês Olivier Rozier, embora seus métodos de construção sejam diferentes. A abordagem direta do autor é fácil de entender e convida a explorar os padrões ocultos do gráfico.

Leia mais

Diversos

Geração de palavras cruzadas com IA: Um avanço

2024-12-23

Bill Moorier, um programador, desenvolve programas de computador para gerar palavras cruzadas há anos. Recentemente, incorporando técnicas modernas de IA, ele obteve resultados notáveis, produzindo palavras cruzadas que rivalizam com as criadas por humanos. Sua abordagem combina algoritmos tradicionais de ciência da computação e modelos modernos de IA. Começa com uma lista enorme de palavras, refinada pela IA para remover termos obscuros. Uma grade com simetria rotacional de 180 graus é então gerada, preenchida com palavras usando um algoritmo de busca de retrocesso. Finalmente, um modelo de linguagem grande gera dicas, com pós-processamento para evitar a revelação das respostas. O sistema atualmente gera uma palavra cruzada completa aproximadamente a cada dois minutos, embora existam imperfeições, como vazamento ocasional de dicas (especialmente com siglas). Os planos futuros incluem palavras cruzadas temáticas, um desafio significativo na geração de palavras cruzadas.