Marco da Matemática da OpenAI, 'Le Chonk' da Mistral e Financiamento de US$ 15 Bilhões da DeepSeek
A OpenAI divulga 722 manuscritos de matemática gerados por um modelo não lançado, a Mistral estreia seu modelo 'Le Chonk' de 1 trilhão de parâmetros e a DeepSeek mira uma rodada de financiamento de US$ 15 bilhões. Enquanto isso, a Anthropic expande seu programa de verificação cibernética e divulga detalhes de IPO, enquanto líderes do setor apoiam um novo Protocolo de Agente Pessoal.
Podcast В· 2 min
OpenAI divulga 722 manuscritos de matemática de modelo não lançado
A OpenAI publicou 722 manuscritos de pesquisa matemática gerados por um modelo de fronteira não lançado. A coleção abrange 372 famílias de resultados em áreas como teoria dos números, ciência da computação e física. Cada resultado exigiu aproximadamente três horas de tempo de computação do ChatGPT Pro. Notavelmente, muitas provas incluem formalizações em Lean, permitindo a verificação mecânica das etapas lógicas, o que aborda o desafio crítico de garantir que provas geradas por IA sejam matematicamente sólidas. A OpenAI consultou o grupo consultivo de matemática e IA do Instituto de Estudos Avançados sobre a divulgação e planeja financiar mais workshops para validar essas descobertas.
Mistral AI lança 'Le Chonk' (Large 4)
O laboratório francês de IA Mistral AI apresentou o Large 4, um modelo aberto de 1 trilhão de parâmetros apelidado de 'Le Chonk'. A empresa afirma que o modelo lidera os sistemas abertos não chineses por uma margem substancial, particularmente em benchmarks de segurança cibernética e jurídicos. A Mistral relata que o modelo alcançou uma pontuação de 82% em um teste de bugs com o qual outros modelos de fronteira tiveram dificuldades. Embora os pesos estejam programados para lançamento público em 27 de outubro, especialistas em segurança cibernética e agências governamentais receberam um período de pré-visualização de três semanas.
Rodada de financiamento da DeepSeek pode chegar a US$ 15 bilhões
A CNBC relata que o laboratório chinês de IA DeepSeek está atualmente levantando uma nova rodada de financiamento que pode avaliar a empresa em até US$ 15 bilhões. Esta significativa injeção de capital ressalta o ritmo acelerado de desenvolvimento no setor chinês de IA e a intensa competição global por recursos e participação de mercado entre os laboratórios de modelos de fronteira.
Prospecto de IPO da Anthropic revela remuneração de executivos
O prospecto de IPO da Anthropic foi tornado público, detalhando a remuneração de executivos para 2025. O CEO Dario Amodei ganhou US$ 18 milhões, e a presidente Daniela Amodei ganhou US$ 16,4 milhões, com a maioria desses pacotes consistindo em ações e opções. Ambos os executivos viram seus salários-base aumentarem para US$ 1,4 milhão a partir de julho de 2026, fornecendo uma visão rara da estrutura financeira de um laboratório líder de IA se preparando para os mercados públicos.
Dados da a16z: Os 1% principais usuários de IA gastam US$ 903 mensais
Novos dados da a16z revelam que os 1% principais usuários pagantes de IA gastam uma média de US$ 903 por mês em serviços de IA. Este grupo é responsável por 19,5% do total de gastos do consumidor com IA, excedendo os gastos combinados dos 50% inferiores dos usuários. Isso destaca uma disparidade significativa na intensidade de uso e na disposição de pagar entre os adotantes mais ativos de IA.
Líderes do setor apoiam Protocolo de Agente Pessoal
Um consórcio incluindo Meta, Sierra, Stripe, Shopify e Walmart anunciou apoio a um 'Protocolo de Agente Pessoal' aberto. A iniciativa visa criar uma estrutura padronizada para autorizar agentes de IA, permitindo que indivíduos concedam permissões enquanto as empresas definem os limites operacionais para esses agentes. Este esforço colaborativo busca atender à crescente necessidade de governança à medida que agentes autônomos se tornam mais integrados aos fluxos de trabalho empresariais e de consumo.
Hark lança assistente de IA proativo
A Hark, uma startup de IA fundada por Brett Adcock da Figure AI, lançou o 'Hark Pro'. O assistente é projetado para ser proativo, capaz de pesquisar, fazer compras, reservar e gerenciar tarefas em plataformas web e móveis. O sistema utiliza 'Handoff', um ambiente de computação baseado em nuvem que pode gerenciar até 36 navegadores simultaneamente. A empresa também anunciou planos de lançar uma família de dispositivos de hardware em 2027, apoiada por uma parceria de conectividade com a AT&T.
Anthropic expande Programa de Verificação Cibernética
A Anthropic expandiu seu Programa de Verificação Cibernética, concedendo a defensores de segurança cibernética verificados acesso mais amplo aos seus modelos mais capazes. A expansão segue relatos de que parceiros identificaram com sucesso pelo menos 129.000 vulnerabilidades de software verificadas usando os modelos, demonstrando a utilidade da IA de fronteira na detecção proativa de ameaças e na defesa.