Open Source
Bend: a linguagem que quer barrar erros de IA com provas matemáticas
Nova linguagem promete bloquear erros de código gerado por IA usando verificação por prova.
18 de setembro de 2026
Nova linguagem promete bloquear erros de código gerado por IA usando verificação por prova.
Dev treina um modelo minúsculo em 1,5h e ele bate LLMs grandes no desafio ARC.
Um sistema automatizado acusou o jogo open source Luanti de copiar o Minecraft. O problema: a acusação não aponta uma única prova.
A chinesa Z.ai confirmou que o modelo ‘stealth’ Ox Alpha faz parte da família GLM e terá seus pesos abertos, mirando o mesmo território da DeepSeek.
A chinesa DeepSeek libera prévia do Harness, sua ferramenta voltada para quem desenvolve com IA.
A Cactus Compute lançou um modelo de IA de 45 milhões de parâmetros que cabe em 14MB e roda até em microcontroladores. A aposta é o hardware barato.
Mark Zuckerberg critica concorrentes ‘fechados’ enquanto a Meta promete retomar seus modelos abertos.
Enquanto a IA americana se fecha, os modelos abertos da China ganham espaço no mundo.
Alguém colocou o Gemma 4 26B pra funcionar num servidor velho sem GPU, a 5 tokens por segundo.
Novo modelo da classe 27B promete rodar direto no smartphone, sem depender da nuvem.