TAnOTaTU
npub1kvqd...8h7w
TAnOTaTU
{{cite web
| title = The AI Revolution in Math Has Arrived Quanta Magazine
| url = 
| date = 2026-04-14
| archiveurl = http://archive.today/Uxrar
| archivedate = 2026-04-14 }}
## O Despertar da Inteligência Artificial na Matemática: Uma Nova Era
O artigo "The AI Revolution in Math Has Arrived", publicado pela *Quanta Magazine*, descreve uma mudança de paradigma na pesquisa matemática ocorrida entre 2025 e 2026. O texto destaca que o ponto de inflexão foi o verão de 2025, quando modelos de IA resolveram cinco de seis problemas da Olimpíada Internacional de Matemática, surpreendendo a comunidade acadêmica pela rapidez de sua evolução.
### Do Enigma ao Avanço Científico
Embora problemas de olimpíadas tenham respostas conhecidas, a transição para a pesquisa real ocorreu quando matemáticos começaram a utilizar essas ferramentas para explorar questões em aberto. O impacto foi imediato: tarefas que antes exigiam semanas ou meses de esforço humano passaram a ser realizadas em apenas um dia.
* **Autonomia:** Em certos casos, algoritmos agora formulam conjecturas, provam-nas e verificam os resultados com intervenção humana mínima.
* **Colaboração:** Grandes modelos de linguagem (LLMs) como ChatGPT, Claude e Gemini são usados para desenvolver novas estratégias de prova por meio de diálogos extensos com pesquisadores.
* **Escalabilidade:** Terence Tao, renomado matemático da UCLA, aponta que a IA permite resolver milhares de problemas simultaneamente e realizar estudos estatísticos, mudando a "sensação" tradicional da prática matemática.
### Desafios Culturais e Institucionais
Apesar do entusiasmo de figuras como Tao, a revolução traz preocupações. Akshay Venkatesh, medalhista Fields, alerta para o risco de perda da "experiência direta" e do entendimento profundo inerente à cultura matemática.
A integração da IA também está provocando uma migração de talentos da academia para empresas de tecnologia e startups especializadas, como OpenAI, Google e Math Inc.. Segundo Jeremy Avigad, da Carnegie Mellon University, o setor corporativo vê na matemática a chave para a "inteligência geral", unindo a precisão matemática aos *insights* do aprendizado de máquina.
### Perspectiva Futura
No início de 2026, o desafio "First Proof" consolidou o status da IA ao demonstrar que modelos poderiam resolver questões de nível de pesquisa inéditas em seus dados de treinamento. O sucesso foi tamanho que Daniel Litt, da Universidade de Toronto, sugeriu que essa tecnologia pode ter um impacto maior do que a própria invenção do computador. O que começou como uma curiosidade em 2018 agora redefine as fronteiras do que é possível criar e provar no universo dos números.
Quanta Magazine
The AI Revolution in Math Has Arrived | Quanta Magazine
AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.
{{cite web
| title = Soberania Digital: por que ocupar o Fediverso? Outras Palavras
| url = 
| date = 2026-04-13
| archiveurl = http://archive.today/M269N
| archivedate = 2026-04-13 }}
Outras Palavras
Soberania Digital: por que ocupar o Fediverso? | Outras Palavras
As big techs trancaram as formas de se relacionar, espalham ódio e ameaçam democracias. Refém, Brasil já foi vanguarda em políticas de incenti...
{{cite web
| title = Como a Hungria derrubou a ultradireita Outras Palavras
| url = 
| date = 2026-04-13
| archiveurl = http://archive.today/qxLMw
| archivedate = 2026-04-13 }}
Outras Palavras
Como a Hungria derrubou a ultradireita | Outras Palavras
Queda de Orbán enfraquece projeto de Trump, Milei e Bolsonaros. Quem é e o que defende Magyar, o futuro premiê. Qual a situação da esquerda. P...
{{cite web
| title = Lean proved this program was correct; then I found a bug.
| url =
| date = 2026-04-13
| archiveurl = http://archive.today/oicup
| archivedate = 2026-04-13 }}
{{cite web
| title = Lean proved this program correct; then I found a bug Hacker News
| url =
| date = 2026-04-14
| archiveurl = http://archive.today/9ZlA1
| archivedate = 2026-04-14 }}
## Resenha Crítica: O Paradoxo da Verificação Formal em "Lean proved this program correct; then I found a bug"
O artigo de Kiran (kirancodes.me), amplamente discutido no Hacker News, apresenta um experimento fascinante que coloca à prova a robustez do software formalmente verificado. O autor utilizou agentes de IA e ferramentas de *fuzzing* (como AFL++) para analisar o **lean-zip**, uma implementação do zlib construída e provada correta em Lean 4 por agentes autônomos. Embora o título sugira uma falha na prova, a realidade técnica revela nuances profundas sobre os limites da segurança computacional.
### O Experimento e as Vulnerabilidades Encontradas
Após mais de **105 milhões de execuções de fuzzing**, o autor identificou duas falhas críticas que, tecnicamente, não invalidam a prova lógica do programa, mas comprometem sua execução no mundo real:
1. **Overflow de Heap no Runtime do Lean:** A falha mais grave não estava no código do aplicativo, mas na função lean_alloc_sarray do runtime do Lean 4. Um arquivo ZIP malicioso poderia causar um "wrap around" em sistemas de 64 bits, levando a uma alocação minúscula seguida de uma leitura massiva, resultando em um transbordo de memória.
2. **Negação de Serviço (DoS) no Parser:** Foi encontrado um erro no módulo Archive.lean, onde o tamanho do arquivo compactado era aceito sem validação, causando pânico por falta de memória (OOM).
### Por que a Verificação Formal "Falhou"?
A análise crítica do texto e dos comentários revela que a "falha" é, na verdade, uma questão de **escopo e fronteiras**:
* **A Falta de Especificação:** No caso do DoS, o parser de arquivos ZIP sequer havia sido incluído no escopo da verificação formal. A prova cobria a correção do pipeline de compressão/descompressão, mas não o manuseio de cabeçalhos de arquivos. Como notado por usuários do Hacker News, se a especificação (o que você pretende que o código faça) estiver incompleta, o programa verificado pode se comportar de forma não pretendida.
* **A Base de Computação Confiável (TCB):** Todo sistema de prova assume que suas fundações — o kernel de verificação, o compilador e o runtime — são perfeitos. O bug no runtime do Lean demonstra que mesmo um código "provado" é vulnerável se a plataforma onde ele reside for instável.
### Conclusão e Perspectivas
Apesar das falhas encontradas, o resultado final é surpreendentemente positivo. O código gerado pelo Lean apresentou **zero vulnerabilidades de memória** (como *use-after-free* ou estouro de pilha) nas partes efetivamente verificadas. O próprio agente Claude classificou a base de código como uma das mais seguras já analisadas.
A lição central é que a verificação formal não é uma "bala de prata" que elimina todos os bugs, mas uma ferramenta poderosa que move o problema da implementação para a **especificação**. Como o autor conclui, a verificação é apenas tão forte quanto as perguntas que decidimos fazer e as bases em que escolhemos confiar. O caso reforça a necessidade de auditorias contínuas, mesmo em sistemas que ostentam o selo de "matematicamente corretos".
Lean proved this program was correct; then I found a bug.
Lean proved this program correct; then I found a bug | Hacker News
{{cite web
| title = Post from História Islâmica - YouTube
| url = https://www.youtube.com/post/UgkxNUC14mkkeJrlO0KaV5MfU1U0LjtoewrW
| date = 2026-04-13
| archiveurl = http://archive.today/ZV18c
| archivedate = 2026-04-13 }}
A fonte apresentada consiste em uma postagem do canal **História Islâmica** no YouTube, que destaca o papel crucial dos **estudiosos muçulmanos** medievais no desenvolvimento da **matemática moderna**. O texto detalha como centros intelectuais em cidades como **Bagdá e Córdoba** promoveram avanços em áreas como **álgebra, trigonometria e algoritmos** entre os séculos VIII e XIV. Ressalta-se que figuras como **Al-Khwarizmi** não apenas preservaram o conhecimento antigo, mas estabeleceram as bases para **tecnologias contemporâneas**, incluindo computação, GPS e sistemas financeiros. O conteúdo argumenta que o **Renascimento científico** europeu foi diretamente influenciado pela transmissão desses saberes orientais. Por fim, o material reforça que a **infraestrutura tecnológica** atual seria inexistente sem as inovações produzidas pelas **sociedades islâmicas** clássicas.
https://d.cess.network/n1/1446646251.pdf
As fontes exploradas analisam o **poder da Força Fênix** dentro do universo Marvel, comparando-a com outras entidades cósmicas e discutindo seus **opostos fundamentais**. O texto destaca o **Deus Tigre** como um contraponto de escuridão e medo à luz da Fênix, situando ambos dentro do **White Hot Room**, um nexo de equilíbrio e criatividade pura. É mencionado que, embora a Fênix seja quase onipotente, ela pode ser vulnerável a **manipulações intelectuais** ou à estagnação representada por seres como o **First Fallen**. A análise também descarta personagens como **Odin, Thanos e Feiticeira Escarlate** como ameaças definitivas, argumentando que a Fênix supera até mesmo os **Beyonders** e o **Enigma**. Por fim, as fontes reforçam a conexão intrínseca entre **Jean Grey** e a Fênix, definindo-as como a alma da própria criação e a força vital que sustenta o cosmos.
GitHub
GitHub - nogringo/nostr-mail-client: Flutter email client for Nostr - send and receive encrypted emails using the Nostr protocol
Flutter email client for Nostr - send and receive encrypted emails using the Nostr protocol - nogringo/nostr-mail-client
Nima Arkani-Hamed, Gopal Prasad Professor, School of Natural Sciences, Institute for Advanced Study | PreserveTube
Neste vídeo, o professor Nima Arkani-Hamed presta uma homenagem a Jim Simons e discute o estado atual da física fundamental. Ele argumenta que estamos vivendo um momento revolucionário, onde os conceitos de espaço-tempo e mecânica quântica podem precisar ser transcendidos.
Pontos principais discutidos:
Limites do Espaço-Tempo: O professor explica que tentar observar distâncias extremamente curtas (escala de Planck) acaba resultando na criação de buracos negros, tornando a noção de distância e tempo fundamentalmente incerta (04:32 - 06:36).
O Mistério do Universo: Ele questiona por que o universo é grande e por que contém estruturas macroscópicas, dado que as flutuações quânticas violentas em pequenas escalas deveriam, teoricamente, impedir a existência de ordem (12:16 - 14:05).
O Papel do Bóson de Higgs: Destaca a singularidade do Bóson de Higgs como a única partícula com spin zero observada, o que a torna especialmente sensível a flutuações do vácuo e central para a nossa compreensão da massa (14:16 - 17:05).
Novas Estruturas Matemáticas: Arkani-Hamed descreve seu trabalho recente, buscando novas perguntas que não dependam da noção tradicional de espaço-tempo, explorando conexões entre combinatória, álgebra e geometria para explicar processos de espalhamento de partículas (22:00 - 26:07).
Futuro da Física: O autor enfatiza que a busca por respostas exigirá décadas ou séculos de dedicação, dependendo de experimentos futuros, tanto em cosmologia quanto em novos aceleradores de partículas, como o projeto de colisor de múons (28:57 - 31:47).
PreserveTube
Nima Arkani-Hamed, Gopal Prasad Professor, School of Natural Sciences, Institute for Advanced Study | PreserveTube
The Birch and Swinnerton-Dyer Conjecture: An Introduction and Review - Chris Skinner | PreserveTube
PreserveTube
The Birch and Swinnerton-Dyer Conjecture: An Introduction and Review - Chris Skinner | PreserveTube
O spyware Pegasus, desenvolvido pelo NSO Group, representa uma das ameaças digitais mais sofisticadas da atualidade, sendo capaz de infectar dispositivos sem qualquer interação do usuário (os chamados ataques "zero-click") e fornecer acesso total a dados, câmera, microfone e comunicações criptografadas. Embora seja impossível garantir proteção absoluta contra um software espião profissional, é viável implementar uma série de medidas que tornam a infecção significativamente mais difícil e facilitam sua detecção.
A seguir, apresento uma abordagem estruturada em três níveis de defesa.
🛡️ Medidas de Proteção Essenciais (Nível 1)
Estas são as práticas fundamentais que todo usuário deve adotar para fortalecer a higiene digital e reduzir drasticamente a superfície de ataque.
· Reinicialização Diária: Reiniciar o dispositivo diariamente é uma das defesas mais simples e eficazes. O Pegasus, em sua maioria, não é persistente, residindo apenas na memória RAM. O reinício o remove, forçando os atacantes a reinstalá-lo repetidamente, o que aumenta a chance de detecção.
· Atualizações Constantes: Manter o sistema operacional e todos os aplicativos na versão mais recente é crucial, pois as atualizações frequentemente corrigem vulnerabilidades de dia zero que o Pegasus explora.
· Cautela com Links: Nunca clique em links recebidos por SMS, e-mail ou mensageiros, mesmo de contatos conhecidos, a menos que sua legitimidade possa ser verificada de forma independente. Esta é a principal defesa contra ataques de "1 clique".
· Uso de VPN: Utilizar uma Rede Privada Virtual (VPN) de uma empresa confiável oculta seu tráfego de internet, dificultando que atacantes o direcionem com base em sua atividade de rede.
· Navegador Alternativo: Para maior segurança, use navegadores focados em privacidade, como o Firefox Focus, que podem mitigar a eficácia de certos exploits baseados em navegador.
⚙️ Medidas de Proteção Intermediárias (Nível 2)
Este nível é recomendado para indivíduos que, por sua profissão ou atuação (jornalistas, ativistas, advogados), podem estar sob maior risco de vigilância direcionada.
· Desabilitar iMessage e FaceTime (iOS): Esses serviços da Apple são vetores de ataque comuns para exploits de zero clique. Desativá-los reduz significativamente a superfície de ataque.
· Modo Lockdown (iOS): Disponível a partir do iOS 16, este modo de segurança extremo foi projetado especificamente para proteger um pequeno número de usuários que enfrentam ameaças graves de spyware patrocinado por estados-nação. Ele restringe severamente funcionalidades do dispositivo para minimizar pontos de entrada.
· Monitoramento com MVT: A ferramenta forense de código aberto Mobile Verification Toolkit (MVT), da Anistia Internacional, permite escanear seu dispositivo em busca de "Indicadores de Comprometimento" (IoCs) associados ao Pegasus.
· Ferramentas Amigáveis: Aplicativos como o iMazing integraram o MVT em uma interface gráfica, tornando a verificação mais acessível para usuários não técnicos.
· Remoção de Perfis Desconhecidos: Verifique regularmente, nas configurações do seu dispositivo, a seção VPN e Gerenciamento de Dispositivos (iOS) ou Segurança e Credenciais (Android) e remova imediatamente quaisquer perfis ou certificados que você não reconheça.
🔒 Medidas de Proteção Avançadas (Nível 3)
Estas são as salvaguardas mais robustas, destinadas a indivíduos que acreditam ser alvos ativos ou que operam em ambientes de altíssimo risco.
· Uso de Sistemas Operacionais Seguros: Para comunicações ultrassecretas, utilize um dispositivo secundário dedicado com sistemas focados em segurança e privacidade.
· GrapheneOS: Um sistema operacional móvel baseado em Android, de código aberto e focado em hardening de segurança, ideal para um dispositivo secundário.
· Tails: Um sistema operacional "vivo" (que roda de um pendrive) para computadores, projetado para ser amnésico (não deixa rastros) e forçar todas as conexões de internet através da rede Tor.
· Mensageiros com Foco em Privacidade: Evite aplicativos de mensagens que exigem seu número de telefone, pois ele se torna um identificador único para ataques. Em vez disso, utilize opções que priorizam o anonimato.
· Session: Um mensageiro que roteia as mensagens por uma rede descentralizada semelhante à Onion, não requer número de telefone e oferece forte criptografia.
· Isolamento de Links Suspeitos: Se precisar abrir um link suspeito, faça-o em um ambiente seguro e isolado, como um computador rodando o sistema Tails ou através do navegador Tor, para evitar a infecção do seu dispositivo principal.
· Resposta a uma Infecção Confirmada: Se você tiver evidências ou forte suspeita de infecção, as ações recomendadas são:
· Contate Especialistas: Procure imediatamente um pesquisador de segurança digital ou a Linha de Ajuda em Segurança Digital da Access Now para orientação profissional.
· Substituição do Dispositivo: A solução mais segura é, infelizmente, substituir o dispositivo comprometido, pois a remoção completa do Pegasus pode ser impossível.
· Alteração de Credenciais: De um dispositivo limpo, altere todas as senhas de contas importantes (e-mail, redes sociais, bancos).
A proteção contra o Pegasus e ameaças similares não é um estado final, mas um processo contínuo. A chave está em adotar uma postura de segurança em camadas e se manter informado, pois os atacantes adaptam suas técnicas constantemente.
Se precisar de mais algum esclarecimento ou tiver outras dúvidas, pode me perguntar.
{{cite web
| title = Alexandre Ramagem é preso por agentes da imigração do ICE nos EUA, di…
| url = 
| date = 2026-04-13
| archiveurl = http://archive.today/qQMU5
| archivedate = 2026-04-13 }}
ICL Notícias
Ramagem é preso por serviço de imigração dos EUA
(Folhapress) - O Serviço de Imigração e Controle de Aduanas dos Estados Unidos prendeu nesta segunda-feira (13) o ex-deputado federal cassado Al...
Edward Witten é amplamente reconhecido como um dos físicos teóricos e matemáticos mais influentes das últimas décadas. Sua obra se destaca por estabelecer pontes profundas entre a física e a matemática, sendo o primeiro físico a receber a Medalha Fields (1990), a mais alta distinção em matemática. Suas contribuições abrangem desde resultados fundamentais em Relatividade Geral clássica até a formulação da Teoria-M, que unificou as vertentes da Teoria das Cordas. A seguir, são detalhadas suas principais contribuições, organizadas por área.
---
1. Contribuições à Relatividade Geral
1.1 O Teorema da Energia Positiva (Prova Espinorial)
Um dos primeiros e mais impactantes resultados de Witten foi uma nova demonstração do Teorema da Energia Positiva (ou Teorema da Massa Positiva) da Relatividade Geral clássica, publicada em 1981. Este teorema afirma que, para um sistema isolado e assintoticamente plano, a energia gravitacional total (a massa ADM) é sempre não-negativa, sendo zero apenas para o espaço-tempo plano de Minkowski (ausência total de matéria e gravidade).
Contexto histórico: A primeira prova deste teorema foi obtida por Richard Schoen e Shing-Tung Yau entre 1979 e 1981, utilizando métodos geométricos complexos baseados em superfícies mínimas. Witten, inspirado por desenvolvimentos na supergravidade, concebeu uma abordagem radicalmente diferente e mais simples.
Conceitos e detalhes: A prova de Witten utiliza espinores – objetos matemáticos que representam partículas de spin 1/2 – e explora uma analogia com a supersimetria. A ideia central é expressar a energia ADM como uma integral de superfície de uma corrente espinorial. Ao escolher um espinor que satisfaz a equação de Witten (uma equação de Dirac modificada no espaço curvo), a integral de volume que resulta do teorema de Gauss torna-se manifestamente positiva, levando diretamente à não-negatividade da energia. Esta abordagem não apenas simplificou a prova, como também revelou uma conexão profunda entre a estrutura da Relatividade Geral e os princípios da supersimetria, uma simetria hipotética entre bósons e férmions. Por esta e outras contribuições, Witten recebeu a Medalha Fields em 1990.
1.2 Gravidade Topológica em 2+1 Dimensões
Outra contribuição notável de Witten no campo da gravitação foi a demonstração da equivalência entre a Relatividade Geral em 2+1 dimensões (duas espaciais e uma temporal) e uma Teoria de Chern-Simons.
Contexto e conceitos: Em 2+1 dimensões, a Relatividade Geral é uma teoria topológica, ou seja, não possui graus de liberdade locais propagantes. Isso significa que o espaço-tempo é sempre localmente plano (ou de Sitter/anti-de Sitter, dependendo da constante cosmológica) e toda a dinâmica é determinada por características globais e topológicas do espaço. Witten mostrou que, para uma constante cosmológica negativa, a ação de Einstein-Hilbert é equivalente à ação de uma teoria de gauge de Chern-Simons com grupo de gauge SO(2,2). Para uma constante cosmológica positiva, o grupo é SO(3,1).
Impacto: Essa equivalência teve um impacto profundo, pois a teoria de Chern-Simons é exatamente solúvel (integrável). Isso transformou a gravidade 2+1 em um poderoso "modelo de brinquedo" (toy model) para o estudo da gravidade quântica. Ao permitir cálculos exatos não-perturbativos, forneceu um laboratório teórico para explorar questões fundamentais como a quantização do espaço-tempo e a natureza dos buracos negros, servindo de inspiração para desenvolvimentos posteriores como a correspondência AdS/CFT e a Gravidade Quântica em Laços. Posteriormente, o próprio Witten revisitaria o tema, apontando diferenças não-perturbativas entre as duas teorias.
---
2. Contribuições à Teoria das Cordas
2.1 A Segunda Revolução das Supercordas e a Teoria-M
A contribuição mais célebre de Witten para a física fundamental foi sua proposta da Teoria-M, anunciada em uma conferência na Universidade do Sul da Califórnia em 1995. Este evento é considerado o marco inicial da "Segunda Revolução das Supercordas".
Contexto histórico: Até meados dos anos 1990, os físicos haviam formulado cinco teorias de supercordas distintas e consistentes (Tipo I, Tipo IIA, Tipo IIB, Heterótica SO(32) e Heterótica E_8 \times E_8), todas definidas em 10 dimensões. Embora cada uma fosse matematicamente consistente e promissora como candidata a uma teoria unificada, a existência de cinco versões diferentes era um sinal de que faltava uma compreensão mais fundamental.
Conceitos e unificação: Witten, baseando-se em trabalhos anteriores sobre dualidades – relações de equivalência entre teorias aparentemente distintas –, propôs que as cinco teorias de supercordas não são teorias separadas, mas sim diferentes limites ou manifestações de uma única teoria subjacente, mais fundamental, que ele batizou de Teoria-M. O "M" nunca foi definido oficialmente, sendo interpretado como "Membrana", "Matriz", "Mistério" ou "Mãe" (Mother).
Uma consequência crucial dessa unificação é que a Teoria-M é definida em 11 dimensões (10 espaciais e 1 temporal), uma a mais do que as teorias de cordas originais. No seu limite de baixas energias, a Teoria-M se reduz à Supergravidade 11-dimensional, uma teoria que havia sido explorada anteriormente, mas que recuperou seu lugar central na física teórica com a proposta de Witten. Na Teoria-M, os objetos fundamentais não são apenas cordas unidimensionais, mas também membranas de dimensões mais altas (branas), como as 2-branas e 5-branas.
Impacto: A Teoria-M transformou completamente o campo, fornecendo uma estrutura conceitual unificada e impulsionando uma nova onda de pesquisa sobre aspectos não-perturbativos da teoria das cordas, buracos negros e a natureza do espaço-tempo.
2.2 Correspondência AdS/CFT e Holografia
Poucos anos após a proposta da Teoria-M, Witten fez outra contribuição fundamental para a compreensão da gravidade quântica ao elaborar e formalizar a Correspondência AdS/CFT.
Contexto e conceitos: A correspondência, originalmente proposta por Juan Maldacena em 1997, conjectura uma dualidade entre uma teoria de gravidade quântica (teoria de cordas ou supergravidade) em um espaço-tempo Anti-de Sitter (AdS) e uma Teoria de Campos Conformes (CFT) definida na fronteira desse espaço. Em termos simples, uma descrição com gravidade em um volume é equivalente a uma descrição sem gravidade em sua superfície, uma realização concreta do princípio holográfico.
Contribuição de Witten: Em dois artigos seminais de 1998, "Anti De Sitter Space And Holography" e "AdS/CFT Correspondence And Topological Field Theory", Witten esclareceu e expandiu significativamente a proposta de Maldacena. Ele mostrou precisamente como as funções de correlação da CFT podem ser calculadas a partir da ação de supergravidade no bulk AdS, demonstrando que a massa das partículas no lado gravitacional está diretamente relacionada à dimensão de escala dos operadores na teoria de campos. Além disso, conectou a correspondência a conceitos de teorias de campos topológicas e explorou suas implicações para a termodinâmica de buracos negros.
Impacto: A correspondência AdS/CFT tornou-se uma das ideias mais influentes da física teórica contemporânea. Ela fornece uma ferramenta poderosa para estudar teorias quânticas de campos fortemente acopladas (como a Cromodinâmica Quântica) em termos de uma gravidade clássica fracamente acoplada, e vice-versa. Suas aplicações se estendem da física de partículas à matéria condensada e à física nuclear.
2.3 Entropia de Buracos Negros na Teoria-M
Dando sequência à revolução iniciada pela Teoria-M, Witten também contribuiu para a compreensão microscópica da termodinâmica dos buracos negros. Em um trabalho de 1997 em colaboração com Juan Maldacena e Andrew Strominger, intitulado "Black hole entropy in M-theory", ele explorou como a entropia de buracos negros extremos poderia ser calculada a partir da contagem dos estados microscópicos de configurações de branas na Teoria-M. Este tipo de cálculo microscópico foi um dos primeiros e mais importantes sucessos da teoria das cordas como uma teoria quântica da gravidade, pois reproduziu com precisão a famosa fórmula de Bekenstein-Hawking para a entropia, que havia sido derivada apenas de argumentos semiclássicos.
---
3. Contribuições à Física Matemática
Para além de seus trabalhos em gravitação e teoria das cordas, Witten fez contribuições revolucionárias para a matemática pura, utilizando ideias da física quântica.
3.1 Teoria Quântica de Campos Topológica (TQFT)
Witten é um dos fundadores da Teoria Quântica de Campos Topológica (TQFT), uma área que conecta a física quântica à topologia.
Contexto e formulação: Em 1988, ele publicou um artigo seminal intitulado "Topological Quantum Field Theory", onde formulou a primeira TQFT, conhecida como teoria de Donaldson-Witten. A ideia central é construir uma teoria quântica de campos cujas funções de correlação são independentes da métrica do espaço-tempo, calculando, portanto, invariantes topológicos do espaço. Ele também formulou a teoria de Chern-Simons em 3 dimensões e os modelos sigma topológicos em 2 dimensões.
Impacto: Por este trabalho, que unificou os invariantes de Donaldson (para 4-variedades) e a homologia de Floer (para 3-variedades) sob uma mesma estrutura física, Witten recebeu a Medalha Fields. A TQFT abriu um novo e frutífero campo de pesquisa na interface entre a física e a matemática.
3.2 Teoria de Chern-Simons e Invariantes de Nós
Em outro trabalho fundamental de 1988, Witten revelou uma conexão profunda entre a Teoria de Chern-Simons em 3 dimensões e a Teoria dos Nós.
Conceitos: Ele mostrou que a integral de trajetória da teoria de Chern-Simons com a inserção de um operador de linha de Wilson ao longo de uma curva fechada (um nó) no espaço-tempo 3-dimensional resulta exatamente no Polinômio de Jones, um famoso invariante matemático usado para classificar nós. A invariância do polinômio de Jones sob deformações do nó é garantida pela invariância topológica da própria teoria quântica de campos.
Impacto: Esta descoberta foi um marco, pois forneceu uma interpretação física elegante e poderosa para um objeto matemático puramente abstrato. Ela deu origem a novos invariantes de nós e aprofundou as conexões entre a teoria de gauge e a topologia de baixas dimensões.
3.3 A Teoria de Seiberg-Witten
Em 1994, Witten, em colaboração com Nathan Seiberg, desenvolveu a Teoria de Seiberg-Witten, que teve um impacto transformador no estudo da topologia de 4-variedades.
Contexto: O estudo da topologia de variedades quadridimensionais era dominado pelos invariantes de Donaldson, que eram extremamente difíceis de calcular, pois dependiam da análise de equações diferenciais parciais não-lineares complexas. Seiberg e Witten, ao analisarem o limite de baixas energias de uma teoria de Yang-Mills supersimétrica (N=2), descobriram um novo conjunto de invariantes, baseados nas muito mais simples equações de Seiberg-Witten.
Impacto: Apesar de sua simplicidade, os invariantes de Seiberg-Witten se mostraram equivalentes ou ainda mais poderosos que os de Donaldson, permitindo a demonstração de teoremas importantes sobre a estrutura das 4-variedades que antes estavam fora de alcance. Esta contribuição é um exemplo paradigmático de como insights da física (supersimetria e dualidade) podem revolucionar um campo da matemática pura.
---
Conclusão
O legado de Edward Witten é vasto e multifacetado. Sua capacidade ímpar de transitar entre a física e a matemática, aplicando ideias de uma área para resolver problemas profundos em outra, remodelou a paisagem da física teórica e da matemática pura. Desde a demonstração espinorial do Teorema da Energia Positiva na Relatividade Geral até a formulação da Teoria-M e a criação da Teoria Quântica de Campos Topológica, seu trabalho continua a fornecer as bases conceituais e as ferramentas matemáticas para a busca por uma compreensão unificada das leis fundamentais do universo.
A "crise" na cosmologia contemporânea, frequentemente referida como a **Tensão de Hubble**, não é um colapso da ciência, mas sim uma discrepância estatisticamente significativa entre diferentes métodos de medir a expansão do universo.
O cerne do problema reside na **Constante de Hubble** (H_0), o parâmetro que define a taxa de expansão atual do cosmos. O conflito surge porque os dois principais caminhos para calcular esse valor apresentam resultados que se recusam a convergir.
## 1. O Universo Primitivo e a Radiação Cósmica de Fundo
O primeiro método utiliza uma abordagem "de cima para baixo". Os cientistas observam o universo em sua infância, cerca de 380.000 anos após o Big Bang, através da **Radiação Cósmica de Fundo em Micro-ondas (CMB)**.
Utilizando o **Modelo Lambda-CDM** (o modelo padrão da cosmologia), os pesquisadores extrapolam os dados obtidos por missões como o satélite Planck para prever qual deve ser a taxa de expansão hoje. Esse cálculo resulta em um valor aproximado de **67,4 km/s/Mpc**. A precisão dessa medida é altíssima, o que torna difícil ignorar o resultado.
## 2. O Universo Local e as Escadas de Distância
O segundo método é uma abordagem "de baixo para cima", baseada na observação direta de objetos astronômicos no universo moderno (local).
Os astrônomos utilizam a chamada **Escada de Distâncias Cósmicas**, que depende de:
* **Cefeidas:** Estrelas que pulsam com brilho previsível.
* **Supernovas do Tipo Ia:** Explosões estelares que servem como "velas padrão" devido à sua luminosidade intrínseca constante.
Liderados por projetos como o SH0ES, esses cálculos apontam consistentemente para um valor em torno de **73,0 km/s/Mpc**.
## 3. A Natureza da Crise: Tensão Estatística
A crise não existe simplesmente porque os números são diferentes, mas porque as margens de erro de ambos os métodos diminuíram tanto que elas **não se sobrepõem mais**.
Atualmente, a discrepância atingiu um nível de significância de 5\sigma (cinco sigmas). Na física, isso significa que há menos de uma chance em um milhão de que essa diferença seja apenas uma flutuação estatística ou um erro aleatório.
## 4. Possíveis Implicações: Nova Física?
Se ambos os grupos de pesquisadores estiverem corretos em suas medições, o erro deve residir em nossa interpretação teórica do universo. Isso sugere que o **Modelo Lambda-CDM** pode estar incompleto. Algumas das hipóteses para resolver a crise incluem:
* **Energia Escura Precoce:** Uma forma de energia escura que atuou nos primeiros instantes do universo, acelerando a expansão antes do previsto.
* **Novas Partículas Relativísticas:** A existência de tipos desconhecidos de neutrinos ou outras partículas que alterariam a dinâmica do plasma primordial.
* **Modificações na Gravidade:** A possibilidade de que a Relatividade Geral de Einstein precise de ajustes em escalas cosmológicas.
* **Matéria Escura Interagente:** Modelos onde a matéria escura possui propriedades mais complexas do que apenas a interação gravitacional.
Em suma, a crise na cosmologia representa um momento de excitação científica. Ela sinaliza que estamos prestes a descobrir algo fundamentalmente novo sobre a composição ou a evolução do tecido do espaço-tempo, indicando que a nossa "receita" atual para o universo pode precisar de um ingrediente ainda desconhecido.
PACHUKANIS: Marxismo e Direito | SUGERINDO LIVROS EP #133 | PreserveTube
Neste vídeo, Gustavo Machado, do canal Orientação Marxista, recomenda a leitura da obra "A Teoria Geral do Direito e o Marxismo", de Evgeny Pashukanis. O autor destaca a importância fundamental desse livro para a compreensão da relação entre o marxismo, o direito e as relações sociais capitalistas (0:09-0:18).
Pontos principais abordados:
Historicidade do Direito: Machado enfatiza que o direito não é um conceito universal ou eterno, mas um produto histórico específico do modo de produção capitalista. Ele critica visões que buscam fundamentos gerais para o direito fora dessa base material (7:38-8:20).
O Papel do Indivíduo (Sujeito Jurídico): Baseando-se no Capital de Marx, o vídeo explica como o capitalismo transforma indivíduos concretos em "pessoas" ou "sujeitos jurídicos" — uma "casca vazia" de igualdade abstrata que mascara a exploração e as desigualdades reais presentes nas relações sociais (9:45-13:08).
A "Loucura" do Sistema: O autor reflete sobre como a sociedade capitalista, através da dimensão jurídica, cria uma duplicação na qual a desigualdade se impõe justamente pela afirmação da igualdade e a escravidão pela afirmação da liberdade (13:34-14:45).
Recomendações adicionais:
Além da obra principal de Pachukanis (na edição da Editora Sundermann), Machado sugere o "Léxico Pachukaniano" como um guia pedagógico essencial para aprofundar a compreensão dos conceitos desenvolvidos pelo autor (2:31-3:06; 15:46-16:11).
PreserveTube
PACHUKANIS: Marxismo e Direito | SUGERINDO LIVROS EP #133 | PreserveTube
Internet Archive
[ Livro] Lições Preliminares De Direito 2004 Miguel Reale IED Copia ( 2) : Free Download, Borrow, and Streaming : Internet Archive
Very good
{{cite web
| title = Brasileiro trabalha pouco? O que é produtividade e por que importa no…
| url = 
| date = 2026-04-13
| archiveurl = http://archive.today/EII0H
| archivedate = 2026-04-13 }}
## Resenha Crítica: A Produtividade como Fetiche no Debate da Escala 6x1
O artigo da BBC News Brasil, "Brasileiro trabalha pouco? O que é produtividade e por que importa no debate sobre escala 6x1", oferece uma síntese técnica sobre os indicadores de eficiência econômica que pautam a discussão contemporânea acerca da jornada de trabalho no país. Sob uma **perspectiva marxista**, contudo, o texto revela as contradições inerentes ao modo de produção capitalista, onde o conceito de "produtividade" é frequentemente utilizado como um instrumento ideológico para justificar a manutenção da exploração e a apropriação de mais-valia.
### A Produtividade como Máscara da Exploração
O texto define produtividade do trabalho como a quantidade de bens e serviços gerada por um trabalhador médio. Para o marxismo, essa métrica não é neutra: ela ignora que o valor é fruto exclusivo do trabalho humano. Quando empresários como Paulo Skaf e Paulo Solmucci condicionam a redução da jornada a ganhos de produtividade, eles estão, na verdade, defendendo a manutenção das taxas de lucro através da **mais-valia relativa**. Ou seja, para que o trabalhador descanse mais sem "prejudicar a economia", ele deve produzir a mesma quantidade (ou mais) em menos tempo, intensificando o ritmo de trabalho e o desgaste físico e mental.
### O Fetiche dos Rankings e a Divisão Internacional do Trabalho
A reportagem destaca a 86ª posição do Brasil no ranking de produtividade da OIT, atrás de nações centrais como os EUA e a Alemanha. Uma análise crítica revela que essa disparidade não decorre de uma suposta "indolência" do trabalhador brasileiro — que trabalha, em média, 38,9 horas semanais, mais do que alemães e franceses — mas sim da posição do Brasil na **divisão internacional do trabalho**.
A economia brasileira, baseada em produtos primários e serviços de baixa complexidade, gera menos "valor adicionado" nos termos capitalistas. Sob a ótica marxista, o Brasil atua como um fornecedor de matérias-primas e força de trabalho barata, onde a baixa produtividade "estatística" serve de pretexto para manter salários aviltantes e jornadas exaustivas, como a escala 6x1.
### O "Poder de Monopsônio" e a Expropriação do Valor
Um ponto de convergência interessante no texto é a menção ao estudo que indica que o trabalhador brasileiro recebe apenas **50 centavos de cada dólar que gera de valor**. Isso evidencia o que Marx descreveu como a essência da exploração: o trabalho não pago. Enquanto o debate liberal foca no "custo Brasil" e na "burocracia", a realidade concreta mostra que o fim da escala 6x1 é uma disputa pela redistribuição do tempo de vida do trabalhador, hoje quase integralmente sequestrado pelo capital.
### Conclusão: A Luta pelo Tempo
A resistência empresarial à redução da jornada para 36 ou 40 horas semanais fundamenta-se no medo da redução da **mais-valia absoluta** (menos horas totais de exploração). Embora economistas do Ipea e do Insper argumentem que a redução pode elevar a produtividade futura via melhoria da qualidade de vida e educação, o marxismo nos lembra que o capital não visa o bem-estar social, mas a acumulação incessante.
Portanto, a centralidade da produtividade no debate sobre a PEC da escala 6x1 é um mecanismo de controle. O fim dessa escala não deve ser condicionado a metas de eficiência impostas pela classe patronal, mas sim compreendido como um direito da classe trabalhadora de retomar o controle sobre seu próprio tempo e reduzir o grau de alienação imposto por um sistema que prioriza o lucro em detrimento da vida.
BBC News Brasil
Escala 6x1: Brasileiro trabalha pouco? O que é produtividade e por que importa no debate - BBC News Brasil
Economistas e empresários têm citado a baixa produtividade da economia brasileira como um dos argumentos contrários ao fim da escala 6x1. Entend...