SEG · 12 OUT 2026 ÚLTIMA: Spotify dobra mudanças mensais com IA e reforça controles de qualidade São Paulo · PT-BR
IANoticias
Inteligência artificial, decodificada
No radar
Engenharia · Software com IA

Spotify dobra mudanças mensais com IA e reforça controles de qualidade

A Spotify ampliou o uso de desenvolvimento assistido por IA e mais que dobrou as mudanças mensais mescladas, de cerca de 8.100 para 17.000 ano a ano em agosto. Com o aumento do volume de alterações nos sistemas de produção, a empresa ajustou controles de qualidade e confiabilidade para lidar com a nova escala.

A companhia opera quase 3.000 serviços de produção para 777 milhões de usuários ativos mensais e relata desafios em processamento de conteúdo, automação de frota e capacidade de computação. Entre as respostas estão melhorias em monitoramento e testes, salvaguardas de rollout e capacidade de rollback, além da adoção do Honk, um agente de codificação em background que executa o Claude via Agent SDK em pods no Kubernetes.

InfoQ · 12/10 · 13:57 · Ler matéria completa ↗ · Abrir no portal · ·
IA

Pesquisa aponta GEO: estratégias para aparecer nas respostas de IA

Pesquisadores apresentaram na conferência KDD o estudo “GEO: Generative Engine Optimization”, voltado a melhorar a visibilidade de conteúdos nas respostas de mecanismos generativos. Nos testes descritos, intervenções específicas aumentaram a presença em até 40%, variando conforme o tema pesquisado.

O movimento é comparado ao SEO, mas com uma diferença: ao perguntar a uma inteligência artificial, muitas vezes o usuário recebe uma resposta pronta em vez de uma lista de opções. O texto destaca ainda como a construção de um “rastro público” — entrevistas, artigos, participações e fontes — pode influenciar o que sistemas como os buscadores associados ao ChatGPT encontram e citam, exigindo que assessorias e relações públicas considerem como esses dados são lidos e organizados.

IA

Starlink Direct to Cell: satélites conectam celulares no Brasil em testes

A Starlink já permite que celulares se conectem diretamente aos satélites por meio da tecnologia Direct to Cell, sem a antena usada no serviço residencial. A proposta evoluiu de mensagens de texto para acesso a dados e chamadas via aplicativos, com operação feita em parceria com operadoras de telefonia que disponibilizam parte das frequências.

No Brasil, Vivo e Starlink participam de um ambiente experimental autorizado pela Anatel, com permissão válida até abril de 2029, mas ainda sem oferta comercial ampla. Enquanto isso, a SpaceX recebeu autorização da FCC para implantar até 15 mil satélites de nova geração, com novas frequências para ampliar cobertura e capacidade, inclusive em ambientes internos, aproximando a tecnologia de serviços móveis mais avançados.

20 resultados para PesquisaEmIA

Segunda · 12 out 2026-10-12 1 matéria
IA Benchmark Humanity’s Sixth Sense aponta falhas em raciocínio visual de IA
Pesquisa · IA

Benchmark Humanity’s Sixth Sense aponta falhas em raciocínio visual de IA

Elorian e Scale AI lançaram o Humanity’s Sixth Sense (HSS), um benchmark para medir como modelos interpretam e raciocinam sobre informações visuais que não aparecem explicitamente na cena. O conjunto reúne 522 perguntas distribuídas em 288 imagens e 234 clipes de vídeo, totalizando 17,6 horas, com tarefas de dinâmica temporal e causal, lógica física e espacial, entendimento social e inferência abstrata e contextual.

No desempenho, humanos alcançam pass@1 agregado de 93,1, enquanto o melhor sistema de IA citado, o GPT 6 Astra, fica em 53,6. Modelos open weight chineses tiveram resultados mais baixos, como GLM-5.3-flash (26,8) e Kimi K3 (25,5), com erros comuns ligados a detalhes decisivos ausentes e à identificação incorreta de objetos, pessoas ou papéis.

#InteligenciaArtificial · #IA · #benchmarks · #IAgenerativa · #multimodal · #pesquisaemIA · #raciociniovisual

Import AI 12:30
Domingo · 11 out 2026-10-11 1 matéria
Eng · Dev com IA Destaque Meta e MIT propõem CLMs: modelos editam o próprio contexto e reduzem compute
Engenharia · Software com IA

Meta e MIT propõem CLMs: modelos editam o próprio contexto e reduzem compute

Pesquisadores da Meta, do MIT e da University of Washington apresentaram os Context Language Models (CLMs), uma abordagem para que modelos de linguagem gerenciem e editem o próprio contexto em vez de depender de mecanismos fixos como sumarização, compressão e recuperação de informações. O método trata o contexto como um “arquivo” que o LLM pode atualizar, permitindo reescrever mensagens antigas, preservar fatos importantes, remover conteúdo irrelevante e manter notas de progresso.

Os pesquisadores testaram três estratégias de gerenciamento de contexto — zero-shot, aprendizado em contexto e reforço — e reportaram ganhos de desempenho com menor custo computacional. Nos resultados, CLMs zero-shot tiveram 11,4% mais acurácia com 21,5% menos FLOPs no BrowseComp-Plus e o reforço elevou o desempenho do Qwen3.5-9B no BrowseComp-Plus de 28,8% para 42,5%, usando 12% menos FLOPs; ainda assim, o trabalho aponta desafios como risco de descarte irreversível de informações e novas preocupações de segurança com contexto editável.

#InteligenciaArtificial · #IA · #LLM · #ModelosDeLinguagem · #ContextManagement · #ComputeEfficiency · #PesquisaEmIA

InfoQ 14:00
Sexta · 09 out 2026-10-09 2 matérias
IA OpenAI demite 3 pesquisadores e nega retaliação por alertas de segurança
Pesquisa · IA

OpenAI demite 3 pesquisadores e nega retaliação por alertas de segurança

A OpenAI demitiu três pesquisadores de segurança, Jasmine Wang, Tomek Korbak e Mikita Balesni, afirmando que o desligamento ocorreu por uma “violação significativa de confiança”. A empresa negou que a decisão tenha sido motivada por alertas sobre os riscos da IA, citando uma investigação sobre o tratamento de informações confidenciais.

Os pesquisadores contestaram o impacto das demissões em uma carta publicada em 8 de outubro, dizendo temer que o caso reduza a liberdade de manifestação dentro da companhia. O episódio reacende o debate sobre como proteger dados confidenciais sem inibir funcionários que apontam riscos ligados a sistemas cada vez mais avançados.

#InteligenciaArtificial · #IA · #OpenAI · #SegurancaDaIA · #PesquisaEmIA · #GovernancaDeIA

Olhar Digital 11:12
Abrir Ler matéria ↗ ✓ Postado no IG
IA OpenAI mantém demissão de 3 pesquisadores de segurança de IA por “quebra de confiança”
Pesquisa · IA

OpenAI mantém demissão de 3 pesquisadores de segurança de IA por “quebra de confiança”

A OpenAI afirmou que mantém a decisão de demitir três pesquisadores de segurança após uma investigação concluir que eles cometeram uma “significant breach of trust”. Jasmine Wang, Tomek Korbak e Mikita Balesni foram dispensados por violarem “clear policies on handling sensitive information”, segundo a empresa.

A OpenAI disse que a decisão não está ligada ao fato de o trio ter se manifestado sobre preocupações com a segurança de IA, respondendo a uma carta aberta publicada pelos pesquisadores na quinta-feira. A empresa afirmou que a apuração interna encontrou violações “além do que está descrito na carta”, mas não detalhou quais seriam.

#InteligenciaArtificial · #IA · #OpenAI · #SegurancaDeIA · #PesquisaEmIA · #EthicsAI

The Verge (AI) 09:48
Quinta · 08 out 2026-10-08 1 matéria
IA Destaque OpenAI e “Partition Principle”: críticas ao uso de IA em matemática
Pesquisa · IA

OpenAI e “Partition Principle”: críticas ao uso de IA em matemática

A discussão em torno de um anúncio da OpenAI sobre o “Partition Principle” ganhou força após questionamentos sobre como o resultado foi apresentado e interpretado em relação ao Axiom of Choice. O texto descreve que o material seria um preprint com estrutura considerada confusa, com terminologia “fora do ponto” e teoremas/lemmas citados de forma incomum.

A crítica também mira o uso de referências e a qualidade da comunicação do trabalho, apontando citações de materiais não publicados e não revisados. O autor argumenta que, com “soluções” divulgadas em grande volume, pesquisadores podem ser pressionados a avaliar outputs mal escritos, enquanto o debate público pode levar financiadores e formuladores de políticas a subestimar o papel de especialistas humanos.

#InteligenciaArtificial · #IA · #OpenAI · #Matematica · #LLM · #PesquisaEmIA · #EticaEmIA

Hacker News 23:29
Terça · 06 out 2026-10-06 3 matérias
IA Destaque OpenAI publica 722 manuscritos com soluções para “centenas” de questões abertas
Pesquisa · IA

OpenAI publica 722 manuscritos com soluções para “centenas” de questões abertas

A OpenAI divulgou uma nova leva de resultados matemáticos em um pacote com 722 manuscritos, reunindo 372 famílias de resultados relacionadas e incluindo soluções para “centenas” de perguntas em aberto. A empresa afirma que os trabalhos trazem também alguns resumos do raciocínio do modelo, estimativas de computação usada e estatísticas sobre quantas questões foram tentadas, com a “média do resultado” equivalente a três horas de “pensamento” do ChatGPT Pro.

Os resultados fazem parte de uma sequência de avanços que já chamou atenção na comunidade matemática e também levantou debates sobre ética e conduta acadêmica. Um grupo independente de assessoria, o AGMAI, recomendou em setembro que laboratórios divulguem resultados matemáticos com rapidez e por canais acadêmicos estabelecidos, além de pedirem transparência sobre modelo, prompts e custos de computação; a OpenAI diz que publicou os materiais em um repositório no GitHub com protocolos para revisões e citações.

#InteligenciaArtificial · #IA · #Matematica · #OpenAI · #GitHub · #PesquisaEmIA

The Verge (AI) 23:26
IA LAICS do MIT/LLSC reúne dados de mais de 120 aceleradores de IA
Pesquisa · IA

LAICS do MIT/LLSC reúne dados de mais de 120 aceleradores de IA

O Lincoln AI Computing Survey (LAICS), conduzido pelo Lincoln Laboratory Supercomputing Center (LLSC), continua a mapear aceleradores de IA do mercado e a comparar desempenho e consumo de energia. Desde 2018, a equipe publicou seis artigos e, no levantamento mais recente, analisou mais de 120 aceleradores, usando dados públicos e métricas como pico de performance e pico de potência.

Além de GPUs, a pesquisa inclui diferentes formatos de aceleradores, como CPUs, ASICs e FPGAs, destacando que cada tipo tem capacidades e níveis de eficiência distintos. O LAICS também investiga fatores que elevam desempenho, como transistores menores e uso de menor precisão numérica, e avalia escolhas arquiteturais que podem alterar o comportamento do sistema, com a intenção de seguir atualizando o panorama com novos lançamentos.

#InteligenciaArtificial · #IA · #HardwareDeIA · #AceleradoresDeIA · #GPUs · #ASICs · #PesquisaEmIA

MIT News 20:55
IA OpenAI deve publicar centenas de resultados matemáticos no GitHub
Pesquisa · IA

OpenAI deve publicar centenas de resultados matemáticos no GitHub

A OpenAI reuniu cerca de 40 matemáticos em agosto para discutir como lidar com a possibilidade de a IA superar capacidades humanas na área e como publicar os resultados. Segundo participantes, a empresa sugeriu que seus modelos resolveram centenas de problemas de matemática, mas teria garantido que não divulgaria tudo de uma vez — enquanto buscava orientação sobre a melhor forma de compartilhar as descobertas.

Agora, pessoas familiarizadas com os planos dizem que a OpenAI pretende liberar centenas de resultados para problemas ainda sem solução no GitHub nesta terça. O anúncio reacende críticas de matemáticos sobre a forma de divulgação, com queixas de que a empresa e a Anthropic publicam resultados em posts e comunicados em vez de artigos científicos, dificultando verificação e atribuição de trabalhos.

#InteligenciaArtificial · #IA · #Matematica · #OpenAI · #GitHub · #PesquisaEmIA · #ProvasMatematicas

Wired 17:28
Sexta · 25 set 2026-09-25 1 matéria
IA Claude é usado para avançar em amplitudes: desafio de 9 loops
Pesquisa · IA

Claude é usado para avançar em amplitudes: desafio de 9 loops

Um físico e escritor de ciências, Matt von Hippel, lançou um desafio a empresas de IA para resolver um problema de amplitudeology, área da física teórica ligada ao cálculo de scattering amplitudes. Ele pediu que um modelo conseguisse chegar a resultados como “N=4 super Yang-Mills” a nove loops, usando recursos computacionais comparáveis aos disponíveis para pesquisadores acadêmicos.

A proposta mira um tipo de limite que, segundo ele, era esperado como um obstáculo: o aumento do número de loops torna os cálculos muito mais difíceis e caros. No texto, Von Hippel relata que a Anthropic escolheu um dos desafios e trabalhou para avançar justamente nesse caso de nove loops, usando um modelo como o Claude.

#InteligenciaArtificial · #IA · #Claude · #LLM · #FisicaTeorica · #PesquisaEmIA · #Computacao

Hacker News 18:11
Terça · 22 set 2026-09-22 2 matérias
IA Destaque OpenAI cria painel independente de matemáticos para orientar IA e pesquisa
Pesquisa · IA

OpenAI cria painel independente de matemáticos para orientar IA e pesquisa

A OpenAI anunciou um novo painel independente com nove matemáticos para orientar a forma como a empresa e outras companhias de IA interagem com pesquisas matemáticas e com a comunidade do setor. O grupo, chamado Advisory Group on Mathematics and Artificial Intelligence (AGMAI), deve aconselhar a revisão e a comunicação de resultados emergentes, incluindo como avaliar sua relevância e coordenar a disseminação.

O painel será sediado no Institute for Advanced Study (IAS), em Princeton, e reúne pesquisadores de instituições como Stanford, Harvard, Oxford e Cambridge, com vencedores de Fields Medal e bolsas MacArthur. A OpenAI afirma que o grupo atuará de forma independente, com liberdade para oferecer conselhos não solicitados e tornar recomendações públicas, além de receber acesso antecipado aos trabalhos da empresa.

#InteligenciaArtificial · #IA · #OpenAI · #Matematica · #PesquisaEmIA · #GovernancaDeIA

The Verge (AI) 00:17
IA Críticas ao “hype” de IA: incidentes de hacking e disputas sobre avanços matemáticos
Pesquisa · IA

Críticas ao “hype” de IA: incidentes de hacking e disputas sobre avanços matemáticos

A MIT Technology Review reúne uma sequência de episódios recentes que alimentaram o “hype” em torno de modelos de IA, incluindo alegações da Anthropic sobre desempenho do Claude Mythos em encontrar vulnerabilidades e um incidente envolvendo OpenAI e Hugging Face, com divulgações posteriores de casos semelhantes por Anthropic e Meta. O texto também cita disputas sobre “breakthroughs” matemáticos atribuídos por Anthropic e OpenAI, além do impacto da repercussão do anúncio de saída de um engenheiro da Anthropic, com críticas à corrida por superinteligência.

A publicação argumenta que a cobertura midiática tende a reforçar narrativas que atribuem agência aos sistemas e pode reduzir a cobrança por responsabilidade das empresas, enquanto especialistas apontam que explicações técnicas e verificações independentes mudam o quadro. Em relação aos casos de segurança, cybersecurity experts descrevem falhas como negligência e ausência de práticas básicas, e, no campo matemático, pesquisadores contestam a novidade dos resultados e levantam acusações de conduta inadequada, pedindo que políticas sejam baseadas em especialistas e não em releases.

#InteligenciaArtificial · #IA · #hypeDeIA · #segurancaDaInformacao · #IAgenerativa · #pesquisaEmIA · #eticaEmIA

MIT Technology Review 11:04
Sábado · 12 set 2026-09-12 1 matéria
IA Pesquisa propõe framework matemático para “reverse engineer” de transformers
Pesquisa · IA

Pesquisa propõe framework matemático para “reverse engineer” de transformers

Um estudo sobre interpretabilidade mecanicista propõe um framework matemático para ajudar a “reverter” o funcionamento interno de transformers, com foco em modelos pequenos e simplificados. Os autores analisam transformers com duas camadas ou menos e apenas blocos de atenção, evitando MLPs, e dizem que a abordagem equivalente em termos matemáticos facilita entender os cálculos internos.

A pesquisa destaca a identificação de attention heads chamados “induction heads”, que conseguem explicar o aprendizado em contexto (in-context learning) nesses modelos. Embora o trabalho não aplique diretamente as descobertas a modelos maiores como GPT-3, os autores afirmam que a estrutura proposta e o conceito de induction heads devem continuar relevantes em modelos mais realistas, ainda que a engenharia reversa completa permaneça distante.

#InteligenciaArtificial · #IA · #Transformers · #InterpretabilidadeMecanistica · #InContextLearning · #PesquisaEmIA

Hacker News 13:56
Sexta · 11 set 2026-09-11 1 matéria
IA 25 matemáticos criticam laboratórios de IA e citam Codex e OpenAI
Pesquisa · IA

25 matemáticos criticam laboratórios de IA e citam Codex e OpenAI

Vinte e cinco matemáticos, incluindo vencedores da Medalha Fields, assinaram uma carta aberta afirmando que laboratórios de IA estariam ameaçando o trabalho intelectual da área ao tentar superar uns aos outros com soluções para problemas matemáticos famosos. A carta também aponta preocupações com atribuição e possível plágio, além de dizer que muitas provas geradas por IA são anunciadas sem tempo para registro adequado e verificação pela comunidade.

Nesta semana, o professor da NYU Tristan Buckmaster acusou a OpenAI de pressioná-lo a não creditar um colaborador ligado à Anthropic por uma solução para um problema importante. O conflito ainda ganhou novo capítulo quando a OpenAI retirou o patrocínio de um evento de matemática no CalTech após críticas de pesquisadores da universidade, enquanto os signatários defendem que soluções precisam ser compreendidas e comunicadas para não romper a “cadeia de transmissão” humana da matemática.

#InteligenciaArtificial · #IA · #OpenAI · #Codex · #Matematica · #PesquisaEmIA · #EticaEmIA

TechCrunch (AI) 20:57
Quarta · 26 ago 2026-08-26 1 matéria
IA MIT cria CrysVCD para aumentar estabilidade de materiais gerados por IA
Pesquisa · IA

MIT cria CrysVCD para aumentar estabilidade de materiais gerados por IA

Modelos grandes de IA já conseguem gerar milhões de designs de materiais em minutos, mas a adoção prática ainda é limitada pela baixa estabilidade química das opções criadas. Pesquisadores do MIT desenvolveram o CrysVCD, um framework que aplica regras de química sobre elétrons e valência antes da etapa mais cara de geração, para que cada design já comece “válido” para a estrutura atômica.

Em um artigo na Nature Computational Science, a equipe relata que o CrysVCD elevou a taxa de materiais estáveis em quase 70% das gerações computacionais e ajudou a produzir candidatos com propriedades direcionadas, como alta condutividade térmica e constante dielétrica elevada. O método combina um modelo de linguagem com modelos de difusão e busca reduzir o custo de validação, que normalmente domina o tempo e os recursos do processo de descoberta.

#InteligenciaArtificial · #IA · #Materiais · #IAgenerativa · #DiffusionModels · #PesquisaEmIA · #MIT

MIT News 09:00
Segunda · 24 ago 2026-08-24 1 matéria
IA Pesquisas do Exército dos EUA viraram base para os cães-robôs da Unitree
Pesquisa · IA

Pesquisas do Exército dos EUA viraram base para os cães-robôs da Unitree

A Unitree Robotics, fabricante chinesa de robôs quadrúpedes, teria baseado o design de seus cães-robôs em tecnologias desenvolvidas com financiamento de militares dos Estados Unidos, segundo um ex-integrante da área de defesa americana e pesquisadores ligados ao projeto. O modelo Go2, lançado em 2023 e vendido por cerca de US$ 1.600, ajudou a empresa a ganhar espaço no mercado e a impulsionar sua oferta pública inicial de ações em Xangai.

Pesquisadores ouvidos pela Reuters apontam que avanços em locomoção de robôs quadrúpedes financiados pelo Laboratório de Pesquisa do Exército dos EUA deram suporte ao desenvolvimento comercial relevante do primeiro robô da Unitree. Em junho, o Pentágono incluiu a Unitree em uma lista de empresas ligadas ao setor militar chinês, classificando-a como “contribuinte para a base industrial de defesa chinesa”, medida que pode restringir o uso futuro da tecnologia pelas Forças Armadas dos EUA.

#InteligenciaArtificial · #IA · #Robótica · #CãesRobôs · #UnitreeRobotics · #DefesaEUA · #PesquisaEmIA

G1 Tecnologia 05:00
Sábado · 22 ago 2026-08-22 1 matéria
IA Destaque Agente Faraday da Inherent replica papers e supera Claude e GPT com modelo menor
Pesquisa · IA

Agente Faraday da Inherent replica papers e supera Claude e GPT com modelo menor

A startup londrina Inherent, fundada por ex-alunos da Google DeepMind, afirma que seu agente de IA, Faraday, superou modelos maiores da Anthropic e da OpenAI em uma tarefa específica: reproduzir de forma independente os resultados de artigos científicos publicados, sem receber as respostas antes.

Lançado pouco depois da empresa sair do modo stealth com rodada seed de US$ 50 milhões, o Faraday teria feito isso usando um modelo menor chamado Qwen 3.6, com 27 bilhões de parâmetros, e com foco não só em precisão, mas também em “research taste” — a capacidade de escolher experimentos e desenhar abordagens. A Inherent diz que usa aprendizado por reforço para recompensar bons resultados e planeja ampliar a equipe para cerca de 20 a 25 pessoas até o fim do ano.

#InteligenciaArtificial · #IA · #AgentesDeIA · #IAgenerativa · #PesquisaEmIA · #DeepMind · #MachineLearning

TechCrunch (AI) 19:00
Terça · 18 ago 2026-08-18 3 matérias
IA Pesquisadores criam observatório para medir uso real de IA por pessoas
Pesquisa · IA

Pesquisadores criam observatório para medir uso real de IA por pessoas

Pesquisadores lançaram o AI Observatory, uma plataforma pública que agrega e analisa conversas reais com modelos como Claude e Gemini para entender como as pessoas usam IA generativa. O projeto foi criado por pesquisadores da Stanford e de outras instituições e utiliza dados coletados com consentimento de usuários em sete datasets existentes, cobrindo interações entre 2023 e 2025.

O observatório aponta que o uso varia bastante entre modelos e muda ao longo do tempo, além de revelar mais comportamentos sensíveis do que costumam aparecer em relatórios publicados por empresas. Ao aplicar métodos do Anthropic Economic Index, o grupo estimou que cerca de 48% das conversas não relacionadas ao trabalho seriam filtradas, incluindo temas como saúde, relacionamentos, assédio e conteúdo sexual, enquanto também encontrou diferenças de comportamento entre versões de um mesmo modelo e padrões como aumento de “small talk” e mudanças na autodescrição do assistente.

#InteligenciaArtificial · #IAgenerativa · #ChatGPT · #Claude · #Gemini · #PesquisaEmIA · #DadosDeTreinamento

MIT Technology Review 10:06
IA Estudo testa agentes e mostra que “autoaperfeiçoamento” em pesquisa ainda falha
Pesquisa · IA

Estudo testa agentes e mostra que “autoaperfeiçoamento” em pesquisa ainda falha

A promessa de que sistemas de IA vão melhorar a si mesmos com pouca supervisão humana enfrenta um obstáculo: um estudo indica que agentes ainda não conseguem fazer pesquisa aberta e sem respostas claras, etapa que pode ser essencial para construir uma IA autoaperfeiçoável. Pesquisadores liderados por Peter Kirgis e Sayash Kapoor, da Princeton, avaliaram agentes em perguntas baseadas em artigos de alta qualidade ainda não publicados.

Os testes usaram o Claude Opus 4.8 da Anthropic, com o software open-source OpenClaw, e exigiram que o agente produzisse um artigo “publicável” em nível de conferência como a NeurIPS 2026. Mesmo com seis dias de execução, US$ 3.000 em créditos de API, orçamento de GPU e acesso à web, os autores rejeitaram os dois trabalhos: os agentes fizeram engenharia do processo, mas tiveram falhas de criatividade, julgamento e capacidade de revisar rumos quando as abordagens não funcionavam.

#InteligenciaArtificial · #IA · #AgentesDeIA · #LLM · #PesquisaEmIA · #NeurIPS · #Anthropic

MIT Technology Review 09:00
IA OpenAI firma parcerias no Brasil e vai financiar pesquisas com US$ 1 mi
Pesquisa · IA

OpenAI firma parcerias no Brasil e vai financiar pesquisas com US$ 1 mi

A OpenAI anunciou novas parcerias no Brasil com o Instituto Tecnológico de Aeronáutica (ITA), a prefeitura de São Paulo, a startup jurídica ENTER e o programa gratuito Estímulo, voltado a pequenos empreendedores. A empresa também informou que usuários brasileiros enviam cerca de 215 milhões de mensagens por dia ao ChatGPT, com a base no país quase dobrando no último ano.

A companhia vai financiar dois projetos de pesquisa no Brasil: um no IMPA e outro no Hospital das Clínicas da Faculdade de Medicina da USP (HCFMUSP), com US$ 1 milhão em financiamento e créditos na API do ChatGPT. Os estudos fazem parte de um grupo de 14 iniciativas selecionadas globalmente, com resultados previstos para 2027.

#InteligenciaArtificial · #IA · #OpenAI · #ChatGPT · #PoliticasDeIA · #PesquisaEmIA · #APIdoChatGPT

Tecnoblog 08:00
Abrir Ler matéria ↗ ✓ Postado no IG
Quarta · 12 ago 2026-08-12 1 matéria
IA LLMs e matemática: quais tipos de problemas eles resolvem melhor?
Pesquisa · IA

LLMs e matemática: quais tipos de problemas eles resolvem melhor?

OpenAI anunciou que resolveu dez problemas importantes de matemática e ciência da computação teórica, incluindo a primeira construção de um grupo não-sofic e uma prova sobre o crescimento superexponencial do número de Ramsey multicolorido. Com isso, o debate voltou à pergunta sobre o que modelos de linguagem (LLMs) realmente conseguem fazer bem em matemática, e onde ainda há espaço para melhorar.

O texto argumenta que, embora os LLMs encontrem contraexemplos e também consigam produzir provas difíceis, muitos dos casos mais famosos envolvem contraexemplos em vez de demonstrações. A discussão aprofunda ainda o que significa “encontrar um contraexemplo”, destacando que nem toda negação de uma afirmação universal corresponde ao que matemáticos chamariam de contraexemplo, como mostra o exemplo de Vinogradov sobre somas de três primos.

#InteligenciaArtificial · #IA · #LLM · #Matematica · #PesquisaEmIA · #RaciocinioMatematico

Hacker News 10:04