O arquiteto que decifrou uma escrita morta de 3.400 anos — e provou que os próprios especialistas estavam errados

Em 1º de julho de 1952, um homem de 30 anos sem formação acadêmica em linguística ou arqueologia interrompeu a programação da BBC para anunciar que havia decifrado uma escrita que resistia aos maiores especialistas do mundo havia meio século. Michael Ventris não era professor nem tinha vínculo universitário: era arquiteto de profissão, projetava escolas … Ler mais

O Homem de Piltdown: como o DNA resolveu, um século depois, quem enganou a ciência

Em agosto de 2016, uma equipe de doze pesquisadores liderada pela antropóloga Isabelle De Groote, então na Liverpool John Moores University, publicou na Royal Society Open Science um artigo que fechava — com precisão impensável em 1912 — um dos maiores enigmas da história da ciência. Já não era uma pergunta sobre se o Homem … Ler mais

Grande Zimbábue: a cidade de pedra que a ciência colonial se recusou, por um século, a atribuir a africanos

No planalto do atual Zimbábue, entre os rios Zambeze e Limpopo, existe uma muralha de granito com quase 11 metros de altura, erguida sem uma pitada de argamassa, encaixando pedra sobre pedra com uma precisão que resistiu a sete séculos de chuva, sol e guerra. É o maior conjunto de ruínas pré-coloniais de toda a … Ler mais

A Ilha de Páscoa não cometeu suicídio ecológico — o que o DNA antigo mostra

Por quase vinte anos, a Ilha de Páscoa serviu como a metáfora ambiental mais citada do planeta. Uma sociedade polinésia isolada teria derrubado todas as suas árvores para erguer estátuas gigantes, mergulhado em guerra e fome, e sofrido colapso demográfico catastrófico — tudo antes de qualquer europeu pisar na ilha. A lição, repetida em salas … Ler mais

O computador de 2 mil anos que os cientistas ainda não conseguem explicar por completo

Em 1901, mergulhadores de esponja abrigados de uma tempestade ao largo da pequena ilha grega de Antikythera encontraram os destroços de um navio romano naufragado havia cerca de dois mil anos. Entre ânforas, estátuas de bronze e mármore, veio à tona um bloco corroído e disforme que ninguém soube identificar de imediato. Só décadas mais … Ler mais

O problema dos generais bizantinos: a matemática de 1982 que impede que um sensor mentiroso derrube um avião

Imagine um avião comercial com três sensores de altitude idênticos, todos ligados ao mesmo computador de bordo. Dois deles informam “30 mil pés”. O terceiro, com um defeito interno, não trava nem apaga — em vez disso, envia para um circuito “29 mil pés” e para outro circuito “31 mil pés”, ao mesmo tempo, sem … Ler mais

Por que a Nasa manda ao espaço processadores mais fracos que um smartphone antigo — e por que isso é uma decisão de engenharia, não atraso

Um smartphone comum guardado na gaveta há dez anos provavelmente tem mais poder de processamento do que o computador que pilota um rover na superfície de Marte agora mesmo. Não é força de expressão: o “cérebro” da Curiosity e da Perseverance é o RAD750, um chip derivado de um processador lançado comercialmente em 1997, rodando … Ler mais

Os cinco universos escondidos por trás de cada senha que você digita

Toda vez que você faz login no banco, compra algo pela internet ou simplesmente vê aquele cadeado ao lado do endereço do site, está confiando em uma promessa matemática que ninguém jamais conseguiu provar. Não é uma falha de engenharia nem um segredo mal guardado — é uma lacuna na própria matemática que sustenta a … Ler mais

seL4: o kernel que a matemática provou livre de bugs — não apenas testado

Em algum momento de 2016, uma equipe de hackers profissionais recebeu autorização quase total para invadir os sistemas de um helicóptero autônomo Boeing, o Little Bird, com acesso de rede mais generoso do que qualquer adversário real teria. O objetivo era simples de enunciar e brutal de executar: assumir o controle de voo da aeronave. … Ler mais

Willow: o experimento que provou, pela primeira vez, que computadores quânticos podem ser corrigidos — não apenas construídos

Por quase trinta anos, a computação quântica viveu com uma dúvida incômoda que nenhum avanço de engenharia parecia resolver. A teoria dizia que, para tornar um computador quântico confiável, bastava usar vários qubits físicos imperfeitos para construir um único “qubit lógico” mais estável — a mesma lógica por trás dos códigos corretores de erro que … Ler mais