Fermat em Lean: o que a prova verificada por IA muda
Agentes do Claude formalizaram o Último Teorema de Fermat em Lean em 11 dias. O que é verificação formal e o que isso muda de fato.
Categoria Ciência e Inovação
Descobertas científicas, pesquisa e tecnologias emergentes como computação quântica, robótica, espaço e biotecnologia explicadas de forma acessível.
USP aprisiona íons e abre caminho para qubits feitos no Brasil
O IFSC-USP prendeu íons de estrôncio em armadilha de Paul, a menos de 1 milikelvin, 18 meses depois de iniciar o projeto. O que isso significa, sem exagero.
Pisa 2025: uso diário de IA anda junto com nota menor
A OCDE ouviu 760 mil jovens em 91 países. Quem usa IA todo dia para escrever fica 28 pontos atrás em ciências, e 48% dos brasileiros já usam toda semana.