Cientistas descobrem que a IA falhou em construir provas matemáticas nos problemas da Olimpíada USAMO de 2025

Um novo estudo da ETH Zurich e do INSAIT mostrou que os modelos atuais de IA que simulam o raciocínio e resolvem de forma confiável problemas matemáticos padrão são quase incapazes de formular provas completas no nível da Olimpíada de Matemática dos Estados Unidos (USAMO) de 2025. Esses resultados questionam a possibilidade de raciocínio matemático … Ler mais

A Revolução da IA em Problemas de Geometria

O AlphaGeometry2, um sistema de IA revolucionário, superou campeões humanos em geometria ao resolver 84% das questões do IMO. Ele combina redes neurais com lógica simbólica para resolver problemas complexos, mostrando o potencial da IA em raciocínio matemático. AlphaGeometry2 está mudando a forma como pensamos sobre inteligência artificial e a resolução de problemas matemáticos, especialmente … Ler mais

Instagram apresenta instabilidade: usuários relatam problemas

Na última segunda-feira, o Instagram passou por uma instabilidade que afetou usuários em várias partes do Brasil e do mundo. Com relatos de falhas no campo de busca e notificações, muitos se perguntaram sobre as causas e os efeitos dessa interrupção momentânea. Acompanhe a situação que gerou comentários nas redes sociais e saiba como a … Ler mais

O Guia Completo e Prático Para Evitar Problemas

Está prestes a submeter o seu veículo à vistoria do Detran? Então, garanta que ele esteja de acordo com as condições exigidas pelas leis de trânsito. Caso contrário, não será possível obter o registro do veículo e, portanto, trafegar regularmente pelas vias públicas do país. A intenção das autoridades de trânsito brasileiras com a vistoria do Detran … Ler mais

Novo ChatGPT revelado pela OpenAI pode resolver problemas de matemática e ciências

Os chatbots online, como o ChatGPT da OpenAI e o Gemini do Google, às vezes enfrentam dificuldades com problemas matemáticos simples. O código de computador que eles geram muitas vezes é cheio de bugs e incompleto. De vez em quando, eles até inventam coisas. Leia mais: Modelo esportivo Citroën fora de linha há 50 anos … Ler mais

OpenAI cria modelo de IA capaz de resolver problemas mais difíceis

A OpenAI, criadora do robô ChatGPT, anunciou na quinta-feira (12) o lançamento do “Strawberry”, um novo modelo de inteligência artificial capaz de realizar tarefas complexas e resolver problemas de forma mais ágil que humanos. Os modelos, batizados de o1 e o1-mini, são capazes de “raciocinar” como humanos, superando modelos anteriores em áreas como ciências, programação … Ler mais

Dona do ChatGPT lança IA com habilidades de raciocínio para ‘resolver problemas difíceis’

MUNDO: A OpenAI, dona do robô ChatGPT, anunciou nesta quinta-feira (12) o lançamento de uma tecnologia chamada “Strawberry”, um modelo de inteligência artificial projetado para processar respostas mais difíceis e de forma mais ágil do que humanos. Os modelos são capazes de “raciocinar” através de tarefas complexas e podem resolver problemas mais desafiadores do que … Ler mais

Últimas decisões da Apple destacam problemas do iPhone 16

A equipe de Tim Cook se prepara para o evento de lançamento dos novos iPhones enquanto a comunidade aguarda ansiosa. No entanto, devido a uma série de vazamentos na última semana, uma dúvida surge: será que o iPhone 16 vai corresponder às expectativas? Acessibilidade L L A- A+ ◐ Grande parte do evento será focado … Ler mais

TCU identifica problemas de transparência e sustentabilidade financeira no Fies e Prouni

O Tribunal de Contas da União (TCU) apontou problemas de sustentabilidade financeira, transparência e governança nos Fundo de Financiamento Estudantil (Fies) e no Programa Universidade para Todos (Prouni) em um relatório de auditoria divulgado na última quarta-feira (23). Os recursos fiscalizados totalizaram R$ 176 bilhões, sendo aproximadamente R$ 148 bilhões referentes a despesas orçamentárias liquidadas … Ler mais

Startups: ideias usam IA e tecnologia para resolver problemas

Florianópolis (SC)* — A ideia para um grande negócio pode nascer da tentativa de solucionar um problema do dia a dia. Foi assim que tiveram início diversas startups brasileiras. Com tecnologia e inovação, essas empresas, além de dar alternativas inovadoras para questões do cotidiano, são capazes de gerar emprego e renda. O Startup Summit 2024, … Ler mais

ChatGPT caiu? Chatbot apresenta problemas nesta quinta (15)

Tudo sobre ChatGPT Tudo sobre OpenAI Na tarde desta quinta-feira, 15 de agosto, diversos usuários ao redor do mundo relataram instabilidade no ChatGPT. O pico de problemas começou no começo da tarde, quando muitos usuários enfrentaram dificuldades para acessar o chatbot de inteligência artificial (IA) da OpenAI. Segundo dados do Downdetector, plataforma especializada em detectar … Ler mais

Google tem problemas de monopólio? Tem é um problema OpenAI

Caso não saiba, o Departamento de Justiça Norte-Americano (DOJ) decidiu que a Google está a operar um monopólio ilegal no mundo da pesquisa via Internet. O que talvez… Faça algum sentido. Afinal de contas, a Google tem mais de 90% de quota de mercado, e devido à sua história, bem como a sua gigantesca carteira … Ler mais