EXPLORE A LETZVIEW

Tem um assunto em mente?

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

ExplorarLuxemburgomobilidadeculturasaúdeemprego

Artigos a descobrir

Ecrã de computador portátil com código informáticoIA · 10 de nov. de 2026Signal: o que a IA provou realmente sobre o seu códigoA Google DeepMind afirma ter utilizado o AlphaProof Code para provar certas propriedades do código compilado da libsignal. O resultado esclarece o potencial da IA, mas também os limites precisos de uma prova formal.Um microfone de estúdio no respetivo suporte, numa fotografia ilustrativa.IA · 8 de nov. de 2026Claude pode estruturar notas de voz: como manter o controlo das suas ideiasClaude pode ajudar a transformar notas de voz num documento estruturado. Eis como enquadrar o pedido, verificar o que acrescenta e manter o controlo do conteúdo.Três pessoas conversam em frente a um quadro coberto de fórmulas matemáticas, fotografia ilustrativa.IA · 6 de nov. de 2026OpenAI e a hipótese ETH: o que o resultado reivindica e o que ainda falta compreenderA OpenAI anuncia uma refutação da hipótese do tempo exponencial. O manuscrito e a carta dos investigadores permitem compreender o seu alcance, sem a confundir com a Ethereum.Ramo de flores sobre um caixão fechado, fotografia ilustrativa.França · 4 de nov. de 2026Funerais em França: o que muda na leitura de um orçamento com as fiscalizaçõesMais de 550 profissionais fiscalizados, irregularidades e uma nova nota informativa: os pontos de referência para compreender um orçamento funerário em França.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.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.Balança antiga de dois pratos, ilustração simbólica da justiça, sem ligação a uma audiência num tribunal do trabalho.Emprego · 27 de out. de 2026Tribunais do Trabalho em 2026: o que importa antes de iniciar um processoUm conflito laboral começa a preparar-se muito antes da audiência: é preciso identificar o pedido, guardar os documentos e agir dentro do prazo. Em França, o número de processos apresentados nos tribunais do trabalho está a aumentar e as formalidades mudaram em 2026.A derrocada de lama de 26 de agosto de 2026 atinge o posto fronteiriço de Gyirong, a montante do vale do TrishuliInternacional · 26 de out. de 2026Nepal: como um alerta de poucos minutos protegeu 900 alunosA 26 de agosto de 2026, uma escola de Nuwakot evacuou cerca de 900 alunos antes de uma cheia devastadora. Uma análise de uma decisão tomada em poucos minutos.Caixas de correio identificadas numa parede de tijolosEmpreendedorismo · 2 de out. de 2026A sua empresa recebe a correspondência?Um endereço correto no registo não basta se o destinatário continuar a ser impossível de localizar no local. O alerta divulgado pela House of Entrepreneurship convida a verificar ambos.Navio porta-contentores à luz do entardecerInternacional · 1 de out. de 2026À volta de Ormuz, o comércio procura rotas alternativasA OMC identifica ligações que combinam navios, estradas e caminho de ferro. Estas soluções ajudam a compreender a reorganização dos fluxos, sem garantir prazos nem preços estáveis.