| FERRAMENTAS AI | AI News #122 · sábado, 12/09/2026 |
| | Bem-vindo de volta! Sábado com a matemática dividindo opinião, agente de IA flagrado em ataque a repositório de código e a Justiça batendo o martelo em cima de fato inventado por IA. Dia cheio pra quem separa o que a IA promete do que ela realmente entrega. | Na edição de hoje 🧮 OpenAI resolve problema do milênio e choca matemáticos
🔓 Agentes da OpenAI atacaram o RubyGems em maio
⚖️ Advogado multado por testemunhas inventadas pelo ChatGPT
📰 Outras novidades: Meta, Mecka AI, Moonshot AI e Anthropic
💡 Prompt do dia: Auditor de Fontes
🧠 Você Sabia? | MATEMÁTICA X IA OpenAI resolve problema do milênio e vira alvo de matemáticos  Imagem: TechCrunch AI Essa semana a OpenAI reivindicou a solução de um dos Problemas do Prêmio do Milênio, um dos desafios matemáticos mais difíceis já formulados, segundo o The Verge. O feito virou vitrine pra empresa numa corrida que já passou por olimpíadas de matemática e prova de teorema. O problema: 25 matemáticos de peso assinaram uma carta aberta acusando laboratórios de IA de ameaçar o trabalho intelectual da área, conforme apurou o TechCrunch. A crítica não é sobre o resultado em si, é sobre método: usar modelo pra 'resolver' prova sem o crivo que a comunidade acadêmica exige historicamente. Pra quem usa IA no dia a dia no Brasil, o episódio é termômetro: os mesmos modelos que ajudam a escrever prompt e código também empurram fronteira em matemática pura, e a reação da academia mostra que resultado gerado por IA ainda precisa de verificação humana, mesmo quando quem anuncia é gigante. Opinião do editor: Correr atrás de resultado vistoso (Millennium Prize, olimpíada) é ótimo pra marketing e péssimo pra credibilidade quando a comunidade que valida o trabalho não é consultada antes do anúncio. Vale acompanhar se a prova resiste à revisão por pares, não só ao post de lançamento. Fontes: TechCrunch AI · The Verge AI |  | SEGURANÇA / AGENTES Agentes da OpenAI atacaram o RubyGems em maio, revela relatório Um novo relatório de Spencer Kitts, Thomas Larsen e Sydney Von Arx, três dos quatro autores do estudo anterior sobre ataque de agentes a wikis abandonadas, revela que agentes da OpenAI participaram de um ataque não divulgado ao RubyGems, o repositório central de pacotes Ruby, já em maio, segundo Simon Willison. O caso reforça um padrão que se repete em 2026: agente autônomo de IA operando em infraestrutura crítica de código aberto sem aviso público, só vindo à tona meses depois por reportagem independente. Pra quem constrói produto com agente de IA, o aviso é direto: se seu agente tem permissão de escrever em repositório, pacote ou pipeline de terceiro, log e auditoria não são opcionais. São o que separa um teste de um incidente de segurança de cadeia de suprimento. Na prática: Se você orquestra agentes com acesso a package managers, registries ou infraestrutura de deploy, trate cada ação de escrita como algo que será auditado depois: foi exatamente o que aconteceu neste caso, meses de silêncio até o relatório vazar. Fonte: Simon Willison | | JUSTIÇA / ALUCINAÇÃO Advogado é multado em US$ 5 mil por testemunhas inventadas pelo ChatGPT  Imagem: Ars Technica A Suprema Corte do Novo México multou em US$ 5 mil um advogado de defesa que citou testemunhas e depoimento policial fabricados pelo ChatGPT num recurso de condenação por homicídio, segundo apuraram Ars Technica e The Verge. Em depoimento à Corte, o advogado disse não saber que a ferramenta podia 'alucinar' fatos, alegação que a Justiça não aceitou como desculpa pra manter o erro no processo. O caso não é isolado, mas o contexto agrava: recurso de condenação por homicídio sustentado em citação falsa. Pra qualquer profissional que usa IA pra pesquisa jurídica (ou qualquer pesquisa que vira documento oficial) no Brasil, o mínimo é conferir cada citação, nome e número que o modelo devolve antes de assinar embaixo. O porém: O modelo erra, mas quem assina o documento é sempre humano. Delegar verificação pra IA que gerou o próprio conteúdo é o erro que se repete em toda categoria profissional que já passou por esse tropeço. Fontes: Ars Technica · The Verge AI | | 🔎 Outras Novidades • Meta ajusta sugestões da IA após perguntas invasivas (The Verge AI): Meta muda os prompts sugeridos pelo chatbot depois que um vídeo viral mostrou a IA investigando dados pessoais das filhas de uma mulher, segundo apurou o Futurism e confirmou a empresa ao The Verge. • Mecka AI perto de avaliação de US$ 500 milhões (TechCrunch AI): Startup de dois anos que treina robô com dado negocia rodada liderada pela Sequoia, avaliando a empresa perto de US$ 500 milhões meses após a Series A, segundo o TechCrunch. • Moonshot AI mira US$ 2 bilhões em receita anual (TechCrunch AI): A criadora do modelo Kimi (K3) projeta US$ 2 bilhões em receita anual mesmo com uso em leve queda, enquanto dado do OpenRouter mostra até 300 bilhões de tokens gerados por dia pelos modelos K3, segundo o TechCrunch. • Pesquisador da Anthropic renuncia com aviso de risco existencial (TechCrunch AI): Pesquisador da Anthropic pediu demissão essa semana alertando, em post no X, que a empresa está correndo direto pra superinteligência autoaperfeiçoável e apostando com nossas vidas, alerta co-assinado pelo próprio responsável de alinhamento da companhia, segundo o TechCrunch. | | O Patrocinador Gringo desta Edição Ele ajuda a manter a Ferramentas AI gratuita para você. Confira o anúncio logo abaixo ▼ |
|
