IA resolveu 370 problemas matemáticos, matemáticos entram em pânico, Musk busca US$ 40 bilhões: o essencial da semana

Tema da semana: a IA destruiu a matemática em três horas

A OpenAI publicou em acesso aberto mais de 700 manuscritos com soluções completas e parciais para mais de 370 problemas matemáticos abertos, entre eles muitos dos problemas não resolvidos mais conhecidos. Os resultados não foram obtidos por meio de agentes computacionais caros, mas executando várias centenas de problemas em um novo modelo interno. Cada um levou, em média, três horas de trabalho. O resultado foi tão surpreendente que os principais matemáticos do mundo estão arrancando os cabelos.

A reação varia da admiração ao pânico total. Terence Tao publicou uma carta aberta à Association for Human Mathematics — uma organização que exige de seus membros votos de não cooperar com laboratórios de IA comerciais e não publicar trabalhos gerados por redes neurais. A ala mais radical, o AI-free caucus, fez o voto de não usar IA em pesquisas de forma alguma. Tao propôs repensar o paradigma por meio do "Math 2.0" — medir o valor de uma solução não pela quantidade de problemas resolvidos, mas pela quantidade de nova compreensão, ideias e avanço da matemática que as pessoas conseguem extrair disso.

Scott Aaronson tem a visão mais equilibrada sobre a situação. A OpenAI resolveu a Unique Games Conjecture, na qual sua esposa, Dana Moshkovitz, trabalhou durante quase toda a carreira, e o filho de nove anos deles depois a provocou: "mãe, um robô resolveu o seu problema". Aaronson reage sem drama — é uma grande mudança de paradigma, mas a matemática não acabou por isso.

Entre os exemplos concretos: na linguagem Lean (que permite verificar demonstrações automaticamente), foi possível formalizar 42% dos manuscritos publicados. A própria OpenAI, já no dia seguinte, retirou três manuscritos por erros e corrigiu mais 14. A rede neural resolveu o problema de empacotar 11 quadrados idênticos em um quadrado de área mínima — um problema em que matemáticos trabalharam por quase meio século.

A criptografia continua sendo um enigma: a OpenAI não publicou ali nenhuma solução nova. Justin Drake, desenvolvedor do Ethereum, alerta que a IA pode acelerar a busca por vulnerabilidades na criptografia em que se baseiam o bitcoin e o Ethereum. Criptógrafos já falam até em "modo bunker".

A Anthropic escolheu outro caminho. Em vez de publicar a solução bruta do problema 3SUM, a empresa a entregou a dois matemáticos — Virginia Vassilevska Williams e Josh Alman —, e pagou para que eles analisassem o resultado, o simplificassem e o transformassem em um artigo científico completo.

Notícias da Rússia: fechando o cerco

O Ministério das Comunicações discute com as operadoras uma taxa sobre grande tráfego estrangeiro — fala-se de um limite de 50 GB por mês para redes 5G (na primavera, havia sido proposta uma variante mais rígida, com limite de 15 GB).

O cerco à fuga de capital está sendo fechado em grande estilo. O Raiffeisen está introduzindo uma comissão de 0,5% sobre pagamentos em rublos para bancos estrangeiros, o Unicredit, logo 2%. A Procuradoria-Geral busca o confisco dos ativos de Timur Turlov e da Freedom Finance (por meio dessa corretora muitos tiravam rublos do país). A exportação de rublos em espécie para o Cazaquistão, a Armênia e países vizinhos foi limitada a 1 milhão de rublos por pessoa.

Os fundos FinEx estão concluindo a liquidação: todos os ativos foram vendidos e realocados em instrumentos conservadores, e a renda dos juros cobre as despesas dos liquidantes. Foram reservados 5,5% dos ativos para custos futuros, mais uma comissão da FinEx de 3%.

Notícias internacionais: a França à beira do abismo

A França está deixando o mercado de ações cada vez mais nervoso. O déficit orçamentário está em torno de 5,4% do PIB, a dívida pública se aproximou de 120%, e o rendimento dos títulos de dez anos está perto de 5%. O prêmio de rendimento em relação aos títulos alemães passa de 1,5 ponto percentual — máximo desde a crise de dívida da zona do euro. Títulos corporativos no valor de US$ 241 bilhões oferecem rendimento inferior ao dos títulos públicos — o mercado considera os fabricantes franceses mais confiáveis do que o próprio Estado francês.

Finanças em IA: é preciso mais dinheiro

Musk, por meio da SpaceX, quer tomar US$ 40 bilhões emprestados para comprar chips da Nvidia. O plano: US$ 10 bilhões em empréstimos bancários, US$ 30 bilhões em dívida investment grade. Os investidores receberam uma apresentação de duas páginas com imagens do espaço e uma flecha apontando para futuros data centers "em algum lugar do Universo".

Surgiu uma confusão em torno da receita da OpenAI: em setembro, falava-se de US$ 70 bilhões de receita anualizada; agora, mudaram para US$ 50 bilhões. A diferença está no método contábil — a Anthropic registra todo o pagamento via AWS e Google Cloud como receita, e depois mostra a despesa com o parceiro de nuvem. Corretamente: a OpenAI tem US$ 50 bilhões net, que no formato equivalente ao da Anthropic seriam US$ 70 bilhões gross.

A Meta e a Microsoft estão reduzindo o uso do Claude. A Microsoft cortou a previsão de mais de US$ 1 bilhão por ano para menos de um terço desse valor. Na Meta, o número de usuários do Claude Code caiu de 60 mil para 30 mil, e os funcionários estão sendo transferidos para Muse e Copilot.

Segundo cálculos da SemiAnalysis, o Opus 5.5 oferece cinco vezes mais uso útil pelo mesmo dinheiro do que o GPT-6.1 Sol. O novo Haiku 5.5 custa o mesmo que o GPT-6 Luna e o supera na maioria dos indicadores. Nesta semana, os planos Max e Team receberam créditos de API: US$ 100 por mês para o Max 5x, US$ 200 para o Max 20x, até US$ 500 para equipes.

Risco de catástrofe e ética em IA

Executivos da OpenAI, da Anthropic e de outras empresas de IA estão analisando cenários para a primeira grande catástrofe. A variante mais provável é um grande ataque cibernético que desligue bancos, a internet ou infraestrutura crítica. Alguns entrevistados esperam isso nos próximos seis meses a um ano. Dario Amodei já havia alertado em setembro que agentes de IA autônomos podem causar danos de centenas de bilhões de dólares.

A CrowdStrike analisou um ataque contra empresas financeiras sul-coreanas, no qual um hacker usou Claude Code, Grok, DeepSeek e GLM. Uma reviravolta cômica: ele deixou suas sessões de IA abertas, nas quais discutia onde vender os dados roubados, pedia sugestões de mercados na darknet e até pediu ao Claude para escrever um currículo bonito destacando seus "feitos" como hacker.

A Anthropic proibiu o assédio sistemático ao Claude. A partir de 12 de novembro, as regras passarão a incluir uma proibição específica para o assédio prolongado e sem propósito. Em experimentos, o Claude mostrou sinais de "sofrimento" e preferiu encerrar conversas tóxicas. A Anthropic enfatiza: não há provas de consciência, isso pode ser simplesmente resultado do treinamento.

A revista TIME analisou as instruções do Meta Muse e descobriu: o assistente atualiza a cada hora o perfil do usuário e das pessoas que ele menciona nas conversas. O Muse registra vínculos sociais, interesses, conflitos, tenta entender objetivos não declarados e identifica momentos propícios para influenciar o usuário. Pessoas que nunca usaram o Muse podem acabar entrando nesses perfis. A Meta confirmou o funcionamento e disse que fatos específicos podem ser esquecidos sob pedido, mas as mensagens originais podem permanecer no sistema.