EXPLORE A LETZVIEW

Tem um assunto em mente?

Um lugar, uma ideia, uma pergunta. Encontre os artigos que lhe interessam.

Artigos a descobrir

Três pessoas conversam diante de um quadro de matemática, numa fotografia ilustrativa.IA · 1 de nov. de 2026OpenAI e Yang–Mills: compreender o anúncio sem confundir as provasA OpenAI reivindica uma prova de existência em física quântica. O problema de Yang–Mills exige também um intervalo de massa: eis as distinções essenciais para compreender o anúncio.Mãos sobre o teclado de um MacBook Pro, fotografia ilustrativa.IA · 1 de nov. de 2026ChatGPT e iCloud: o que muda realmente ao ligar o seu emailO Mail e o Calendar chegam separadamente ao ChatGPT. Para além das pesquisas e dos rascunhos, é preciso distinguir o acesso à conta, a autorização para agir e a conservação dos dados.Um corredor entre bastidores de servidores num centro de dados.IA · 1 de nov. de 2026OpenAI e os TPU da Google: a diversificação também se joga no softwareA imprensa noticia um projeto de compra de chips da Google. Uma oferta de emprego da OpenAI revela, por sua vez, um trabalho bem concreto: adaptar os seus modelos a outra arquitetura de computação.Um homem toma notas num caderno em frente a um computador portátil, fotografia ilustrativa.IA · 1 de nov. de 2026ChatGPT no trabalho em França: o que revelam os pedidos de reescritaA revisão de textos domina os pedidos profissionais franceses analisados pela OpenAI. Um retrato dos usos que importa ler tendo em conta o seu âmbito: não mede nem o número de trabalhadores que utilizam a ferramenta nem a sua produtividade.Quadro negro coberto de fórmulas científicas a giz; fotografia ilustrativa.IA · 1 de nov. de 2026IA e provas científicas: o que o Lean verifica e o que ainda é preciso analisarOs anúncios da OpenAI relançam a questão das provas produzidas pela IA. Núcleo lógico, hipóteses e resultados do AlphaProof: referências para os avaliar.Técnico e computador portátil diante de uma fila de servidores do NERSC, em 2011.IA · 1 de nov. de 2026Agentes de IA: o que os padrões abertos permitem preservarA AAIF acolhe quatro projetos para tornar os agentes mais portáveis. Métodos, modelos, testes e segurança: eis o que pode ser transferido e o que ainda falta verificar.Cartazes eleitorais ao longo de um edifício, numa rua parisiense molhada pela chuva; uma pessoa segura um guarda-chuva.IA · 30 de out. de 2026Imagens eleitorais: o filtro do ChatGPT, entre o desenho e o fotorrealismoO filtro referido pela CNET transforma alguns pedidos em imagens estilizadas. Mas dois testes franceses descritos pela Next conduzem a resultados diferentes: uma dificuldade na geração não é uma verificação da verdade.