{{cite web
| title = O experimento do tensor líquido - 14/04/2026 - Marcelo Viana - Folha
| url = https://www1.folha.uol.com.br/colunas/marceloviana/2026/04/o-experimento-do-tensor-liquido.shtml
| date = 2026-04-15
| archiveurl = http://archive.today/zV8X6
| archivedate = 2026-04-15 }}
O texto detalha o **Experimento do Tensor Líquido**, uma iniciativa que utilizou tecnologia para validar uma prova matemática complexa do medalhista Fields **Peter Scholze**. Diante da incerteza sobre a precisão de seus próprios cálculos em 2020, o matemático solicitou uma verificação externa por meio do software **Lean**, desenvolvido pelo brasileiro Leonardo de Moura. A ferramenta funciona transformando raciocínios lógicos em **códigos de programação** que o computador pode conferir de forma infalível. O sucesso do projeto em 2022 marcou a primeira vez que um teorema na **fronteira do conhecimento** foi confirmado integralmente por máquinas. Essa conquista consolidou os assistentes computacionais como peças fundamentais para a **pesquisa científica** moderna, permitindo a superação de limites da intuição humana.
Newtonsan / TAnOTaTU
npub1kv…28h7w
2026-04-17 20:34:54 UTC
in reply to nevent1q…y955
Author Public Key
npub1kvqdkv4tndz22z90rckhyqzddhjqzja3rv58jzpq5yxezzl4mvaqa28h7wPublished at
2026-04-17 20:34:54 UTCEvent JSON
{
"id": "95d9380817a1479d722353f16cf4cea1e4fe6eb22a0423e0748be805ed1894a2",
"pubkey": "b300db32ab9b44a508af1e2d72004d6de4014bb11b28790820a10d910bf5db3a",
"created_at": 1776458094,
"kind": 1,
"tags": [
[
"p",
"b300db32ab9b44a508af1e2d72004d6de4014bb11b28790820a10d910bf5db3a"
],
[
"e",
"cc0bcbc16289a0fcf4c7e7f9995e5530eddaebe63372391115d6d90d2012f5e3",
"",
"root",
"b300db32ab9b44a508af1e2d72004d6de4014bb11b28790820a10d910bf5db3a"
],
[
"client",
"Primal Android"
]
],
"content": "{{cite web\n | title = O experimento do tensor líquido - 14/04/2026 - Marcelo Viana - Folha\n | url = https://www1.folha.uol.com.br/colunas/marceloviana/2026/04/o-experimento-do-tensor-liquido.shtml\n | date = 2026-04-15\n | archiveurl = http://archive.today/zV8X6\n | archivedate = 2026-04-15 }}\n\nO texto detalha o **Experimento do Tensor Líquido**, uma iniciativa que utilizou tecnologia para validar uma prova matemática complexa do medalhista Fields **Peter Scholze**. Diante da incerteza sobre a precisão de seus próprios cálculos em 2020, o matemático solicitou uma verificação externa por meio do software **Lean**, desenvolvido pelo brasileiro Leonardo de Moura. A ferramenta funciona transformando raciocínios lógicos em **códigos de programação** que o computador pode conferir de forma infalível. O sucesso do projeto em 2022 marcou a primeira vez que um teorema na **fronteira do conhecimento** foi confirmado integralmente por máquinas. Essa conquista consolidou os assistentes computacionais como peças fundamentais para a **pesquisa científica** moderna, permitindo a superação de limites da intuição humana. \n\n",
"sig": "b53472ca4ce2a350f3b0904416d0e2980515bc167a6ce4870defca13b499112e3a38937fd2ff25ccf590b6efb9fe703020e5785c9e698a1ff285d9dc8cc1fb64"
}