Modelo de raciocínio da OpenAI resolve conjectura de geometria antiga
- O modelo de raciocínio da OpenAI teria refutado autonomamente uma conjectura de geometria de longa data em 21 de maio de 2026, em um desenvolvimento destacado em um resumo de notícias de IA de maio de 2026.
- O resultado é notável pois sugere que os modelos de fronteira atuais podem contribuir para a descoberta matemática formal, e não apenas para a geração de texto ou assistência de código.
- O mesmo resumo coloca esse avanço ao lado de outras atualizações importantes de modelos, ressaltando a rapidez com que a fronteira da pesquisa em IA está avançando.
- A OpenAI e a comunidade de pesquisa em geral provavelmente analisarão o resultado quanto à reprodutibilidade, qualidade da prova e se ele pode ser generalizado para outros problemas não resolvidos.
Fontes e Citações
1 fonteMais Matérias
Suécia busca liderança mundial em IA
• A Suécia está buscando ativamente uma estratégia para alcançar a liderança global em inteligência artificial, indo além da mera aplicação de sistemas de IA existentes desenvolvidos nos EUA. • A nação nórdica visa "mudar as regras do jogo" ao desenvolver suas próprias capacidades e infraestrutura de IA soberana para reduzir a dependência de tecnologia estrangeira.
Ler original · computerweekly.com
Computer WeeklyPrincipais Notícias de Hoje: Boom de Chips de IA, Mudança nas Contratações, Recuperação de Cripto, Reset da Big Tech e Mais
• A SK Hynix entrou para o clube de valor de mercado de trilhões de dólares impulsionada pela demanda crescente por chips de IA, enquanto a startup de IA Anthropic se aproxima de uma avaliação de US$ 100 bilhões. • Grandes empresas de tecnologia estão reestruturando suas forças de trabalho, com a Meta cortando empregos para priorizar iniciativas de IA e a Nvidia relatando uma lacuna em contratações especializadas.
Ler original · analyticsinsight.net
Analytics InsightCarteiras de identidade digital europeias e soberania digital são discutidas no EuroDIG 2026
• Participantes do EuroDIG 2026 exploraram se a Carteira de Identidade Digital Europeia (EUDI) e uma proposta de carteira empresarial poderiam servir como infraestrutura fundamental para um mercado único digital integrado. • Jaromir Talir, do registro tcheco CZ.NIC, destacou como os projetos-piloto da carteira EUDI estão enfrentando desafios antigos na identificação de registrantes, cibersegurança e conformidade regulatória para registros de domínios.
Ler original · dig.watch
Digital Watch ObservatoryMorgan Stanley alerta para cortes de empregos em bancos na Europa devido a ganhos de produtividade com IA
• O Morgan Stanley alertou que a inteligência artificial pode desencadear perdas significativas de empregos em bancos europeus nos próximos anos. • O relatório indica que a IA pode aumentar a produtividade em até 30%, reduzindo drasticamente a necessidade de grandes forças de trabalho nas operações bancárias.
Ler original · freepressjournal.in
Free Press JournalNVIDIA destaca ferramentas de IA agentica para automação empresarial
• A NVIDIA publicou material sobre **IA agentica**, descrevendo sistemas que utilizam raciocínio e planejamento para resolver problemas complexos e automatizar fluxos de trabalho. • A empresa afirma que esses sistemas podem transformar dados empresariais em insights acionáveis, reforçando a mudança de chatbots estáticos para IAs orientadas a tarefas.
Ler original · nvidia.com
NVIDIAPainel do Dublin Tech Summit afirma que o GDPR pode reger a maior parte do uso de IA antes das regras adiadas da UE
• Um painel do Dublin Tech Summit examinou como o **GDPR**, em vez do EU AI Act, pode reger a maioria dos casos de uso de IA na prática. • A discussão também destacou os atrasos nas regras para IAs de alto risco e o trabalho de governança que as empresas devem realizar agora.
Ler original · complexdiscovery.com
Complex DiscoveryNexus Luxembourg 2026 revela mais de 150 palestrantes para cúpula de IA e tecnologia em junho
• O Nexus Luxembourg 2026 anunciou um elenco de palestrantes com **mais de 150 líderes** das áreas de IA, tecnologia, finanças e governança. • O evento está programado para os dias **10 e 11 de junho** no **LuxExpo The Box**.
Ler original · nexusluxembourg.com
Nexus LuxembourgA arma secreta da China na corrida de IA com os EUA? Muita energia barata | Technology News
• A China está aproveitando seu abundante suprimento de eletricidade barata como uma "arma secreta" estratégica para competir com os EUA na corrida global de IA. • Essa infraestrutura de energia de baixo custo oferece uma vantagem crítica para a implementação e operação rápida de datacenters massivos, necessários para treinar e executar modelos complexos de IA.
Ler original · aljazeera.comInformatica World 2026: Conclusões de CIOs sobre gestão de dados e IA
• Salesforce e Informatica estão colaborando para redefinir as estratégias de gestão de dados, à medida que a IA altera fundamentalmente a forma como os CIOs abordam o software empresarial. • A parceria foca na adaptação à rápida evolução dos Large Language Models (LLMs), que apresentaram avanços significativos nos últimos 24 meses.
Ler original · informationweek.com
Information WeekSerra Leoa Avança em Agenda de Inteligência Artificial para Expandir Oportunidades Digitais - TechAfrica News
• O Ministério da Comunicação, Tecnologia e Inovação de Serra Leoa está desenvolvendo a primeira Estratégia Nacional de Inteligência Artificial (IA) do país. • A iniciativa está sendo criada em colaboração com o Grupo Banco Mundial e outros parceiros estratégicos para estabelecer um framework para a adoção de IA.
Ler original · techafricanews.com
TechAfrica NewsComércio de IA Coloca Economias Asiáticas na 'Zona do Bitcoin'
• Economias asiáticas, particularmente a Coreia do Sul e Taiwan, estão enfrentando volatilidade extrema no mercado e um crescimento rápido impulsionado pelo comércio global de IA. • O mercado de ações de Taiwan disparou, tornando-se o quinto maior do mundo, superando a Índia e ficando atrás apenas dos EUA, China, Japão e Hong Kong.
Ler original · forbes.com
ForbesLondres recupera posto de nº 1 em tecnologia na Europa enquanto continente supera os EUA
• Londres recuperou sua posição como o principal ecossistema de tecnologia na Europa, superando outros centros continentais. • Essa recuperação é impulsionada por investimentos robustos de venture capital e pela criação consistente de novas empresas "unicórnios" (startups avaliadas em mais de US$ 1 bilhão).
Ler original · businesscloud.co.uk
BusinessCloud



