1️⃣ A IA da OpenAI entrou na matemática a sério A OpenAI diz que um modelo de raciocínio generalista encontrou uma construção que derruba uma conjectura de Erdős sobre distâncias unitárias, aberta desde 1946. Matemáticos externos publicaram uma versão verificada do argumento no arXiv.
💡 Porque importa É um teste raro fora das demos habituais. Aqui a IA não resumiu ciência: encontrou uma pista nova num problema que gente especializada andava a rodear há décadas.
☕ Conversa de café Se a máquina já aparece com uma prova destas, quantos laboratórios vão admitir que também querem um colega que não dorme?
2️⃣ A Anthropic comprou compute como quem compra uma central A Anthropic vai pagar à SpaceX cerca de 1,25 mil milhões de dólares por mês até maio de 2029 por capacidade nos data centers Colossus, segundo a Axios e documentos citados da operação de entrada em bolsa da SpaceX.
💡 Porque importa O gargalo da IA está cada vez menos no chatbot e mais na eletricidade, GPUs e contratos longos. Quem não segura compute não segura produto.
☕ Conversa de café Quando a renda mensal de servidores parece orçamento de Estado pequeno, ainda faz sentido chamar isto software?
3️⃣ Trump travou uma ordem sobre IA à última hora Donald Trump adiou a assinatura de uma ordem executiva sobre IA e cibersegurança, prevista para quinta-feira, por receio de travar a vantagem tecnológica dos EUA. O texto criaria um modelo voluntário de avaliação de riscos antes do lançamento de sistemas avançados.
💡 Porque importa A regulação da IA está presa no choque entre segurança e velocidade. E as empresas sabem que cada semana de revisão pode valer quota de mercado.
☕ Conversa de café Se até uma revisão voluntária assusta Washington, quem é que vai pôr o pé no travão quando o modelo for mesmo perigoso?