Google DeepMind AlphaEvolve: A ascensão de uma inteligência revolucionária codificada por IA
A Google DeepMind lançou o AlphaEvolve, uma inteligência de codificação de IA capaz de escrever e otimizar código e de fazer descobertas científicas por si própria. O sistema, que incorpora grandes modelos de linguagem, algoritmos evolutivos e avaliadores automáticos, já fez várias descobertas no domínio da matemática, como a melhoria dos algoritmos de multiplicação de matrizes e a resolução de puzzles geométricos. Entretanto, conseguiu ganhos de eficiência significativos na otimização dos centros de dados da Google, na conceção de chips e na formação em IA, assinalando um novo marco na transformação da IA de uma ferramenta para um parceiro de inovação algorítmica.
10 segundos de Figma Magic: Criar uma página de cartão de fluxo contínuo da Apple para melhorar rapidamente a textura do design
As grelhas Bento (estilo Apple) são um estilo de design visual minimalista, claro e altamente organizado, normalmente utilizado em interfaces modernas da Web e de aplicações móveis. O estilo cria uma experiência de leitura limpa ao apresentar o conteúdo através de módulos de grelha que realçam o espaço em branco, o alinhamento e a consistência. O artigo também fornece passos específicos para implementar este esquema utilizando o Figma e recomenda plug-ins e ferramentas relacionados.
NVIDIA Llama-Nemotron: O novo rei do código aberto para além do DeepSeek-R1
A NVIDIA lança modelos Llama-NemotronAI de código aberto nas versões 8B, 49B e 253B. O emblemático LN-Ultra supera o DeepSeek-R1 de 671 mil milhões em vários parâmetros de referência com apenas 253 mil milhões de parâmetros, ao mesmo tempo que permite um funcionamento mais eficiente num único nó xH100. O processo de formação em cinco fases da série, com técnicas inovadoras, inclui comutação de inferência, otimização com reconhecimento de hardware e formação de dados sintéticos. A relação positiva entre a escala e o desempenho dos parâmetros de desempenho do modelo marca a era da eficiência da IA em primeiro lugar, e o seu licenciamento de código aberto irá acelerar a adoção da tecnologia.
Google Gemini 2.5 Pro: uma evolução multimodal do vídeo para aplicações interactivas
A Google lança a versão 2.5 Pro do Gemini, uma grande conquista no domínio da compreensão multimodal e da geração de código. O modelo supera o concorrente Cl 3.7 Sonnet em termos de capacidades de programação e é particularmente hábil na transformação de conteúdos de vídeo e esboços desenhados à mão em redes totalmente funcionais, melhorando significativamente a eficiência do desenvolvimento. Demonstra uma revolução em áreas como o desenvolvimento Web, a otimização de revisões e a tecnologia educativa, criando um novo paradigma para o desenvolvimento assistido por IA.
Bolt.new: um guia tutorial para criar um sítio web profissional através de descrições simples
A Bolt.new é uma plataforma de desenvolvimento orientada para a IA em que os utilizadores escrevem código gerando sítios Web completos diretamente a partir de descrições naturais. Suporta a geração de aplicações multi-framework, a instalação de pacotes de software e permite a otimização dinâmica do código e transformações desenhadas à mão. Os utilizadores iniciam sessão e introduzem os requisitos do sítio Web para automatizar o código, suportam várias rondas de otimização do diálogo e pré-visualização em tempo real, e podem implementar ou descarregar o código. O segredo é escrever instruções detalhadas que especifiquem o tipo de sítio, o estilo e o público-alvo, incorporando ao mesmo tempo editores para melhorar a precisão. bolt.new é particularmente adequado para a criação de protótipos e pode ser utilizado em conjunto com ferramentas especializadas como o Cursor para projectos mais complexos. A plataforma é inicialmente gratuita, mas será cobrada no futuro, tornando-a adequada para empresários, criadores de conteúdos e programadores.
DeepSeek lança modelo Prover-V2: Parâmetros 671B impulsionam a prova de teoremas matemáticos
A DeepSeek lançou o modelo DeepSeek-Prover2, concebido para provas matemáticas, a 1 de maio, com 671 mil milhões de parâmetros e uma versão com 7 mil milhões de parâmetros. O modelo usa uma combinação de recursão e aprendizagem por reforço para se destacar em vários testes de matemática, como o teste MiniFF com uma taxa de aprovação de 88,9%. O conjunto de dados ProBench lançado ao mesmo tempo contém 325 perguntas para avaliar as capacidades do modelo. As experiências revelaram que o modelo Chain of Thought melhora significativamente a precisão, com o mini-modelo a superar mesmo o modelo em problemas específicos. O modelo já se encontra na Hugging Face, apoiando um novo paradigma na investigação matemática.
Lançamento do Qwen 3: o modelo 235B tem um desempenho superior ao do R1, Grok e o1 com licença Apache 2.0
A equipa de Ali Tongyi Qianqian lançou uma nova geração de modelos de grande dimensão de fonte aberta Qwen3, que encabeçou a lista global de modelos de fonte aberta, a série contém modelos, o desempenho do modelo principal excede muitos modelos de topo, a implantação é significativamente menor. A série contém modelos, o desempenho do modelo principal excede uma série de modelos de topo, a implantação é significativamente reduzida. qwen 3 em uma série de benchmarks para estabelecer um novo recorde, e a introdução inovadora do modo de "raciocínio híbrido" o modelo suporta 119 idiomas, dados de pré-treinamento até 36 token, a resposta da comunidade é entusiástica, dentro de três horas para obter a estrela k GitHub. O modelo suporta 119 línguas com 36 tokens de dados de pré-treino e recebeu uma estrela do GitHub em três horas.
Lovable 2.0: Como uma plataforma colaborativa de "Ambient Coding" está a mudar o desenvolvimento de software
A empresa europeia de IA Lovable lança a plataforma 2.0 para o desenvolvimento de software sem código através da interação em linguagem natural. O novo suporte para colaboração multijogador, agentes de conversação inteligentes e controlo de segurança reduz significativamente o limiar de desenvolvimento. Disponibiliza programas gratuitos e pagos para as equipas de arranque criarem rapidamente protótipos de produtos e tem 500 000 utilizadores activos mensais. A plataforma comercializa o conceito de "codificação ambiente" gerada por IA para facilitar a transformação digital.
