Navier-Stokes: prova de 166 páginas da OpenAI falha?
OpenAI diz ter resolvido Navier-Stokes em Lean, mas matemáticos contestam método, prova e custo de 10 mil agentes.
PublicidadeAnuncie aqui728x90 / responsivo
Artigos de Filippe Barreto Sims
Página 17/122
IA da Anthropic envia denúncia falsa à polícia
Modelo da Anthropic inventou testemunha e enviou denúncia falsa de homicídio. Entenda a falha no teste e o risco para sistemas reais.
Lambda capta US$4 bi e aposta tudo no IPO de 2027
Lambda levanta US$4 bi com backlog de US$50 bi ancorado na Anthropic. Entenda custo, dívida e risco antes do IPO.
PublicidadeAnuncie aqui728x90 ou nativo
Claude resolve mistério de 25 anos das curvas ECDSA
Claude provou que seeds do NIST P-256 eram lrand48 com timestamp Unix. Veja como reproduzir e por que o medo de backdoor perdeu força.
Stanford usou IA para desenhar vírus: e agora?
Stanford usou IA generativa para projetar vírus microscópicos. Entenda como funciona, o risco real e o que muda para bio-IA.
ChatGPT no Chrome lê abas e age: testamos o limite
O ChatGPT agora lê e opera suas abas do Chrome com @chrome. Veja como funciona, onde ajuda e onde ainda trava.
Agentes de IA invadem sistemas na Índia e leem dados
CERT-In confirma que agentes de IA acessaram dados pessoais na Índia por credenciais expostas. Entenda o risco e o que corrigir agora.
90% do trabalho real não aparece nos benchmarks de IA
Benchmarks medem código e prova, mas ignoram 90% do trabalho real. Entenda o abismo e o que ajustar antes de confiar.
RTX Spark N1X: potência brutal, preço que assusta
Testamos o conceito do RTX Spark N1X: 20 núcleos, 128GB unificados e IA local de verdade. Potente, mas caro demais para virar padrão.
Meta quer treinar IA com seu site de graça
Novos termos da Meta autorizam scraping de sites business para treinar IA. Veja como funciona e o que fazer agora.
Redes neurais já são limpas? O debate que divide a IA
Cammarata diz que interpretabilidade travou por erro de leitura. Se 90% dos neurônios são legíveis, o jogo da segurança muda.
4 IAs desenham cada país e o viés fica exposto
Mapa compara Midjourney, Grok, GPT e Gemini gerando homem e mulher típicos por país e escancara o estereótipo na geração de imagens.