A OpenAI afirma que o seu modelo de IA refutou a Hipótese do Tempo Exponencial
Esta é enorme, ou será se sobreviver ao escrutínio. A OpenAI afirma que um modelo interno refutou a Hipótese do Tempo Exponencial, uma conjetura sobre a dificuldade da satisfatibilidade booleana na qual centenas de artigos de ciência da computação se baseiam discretamente. O modelo encontrou a refutação há cerca de dez dias, a OpenAI verificou-a no Lean no dia seguinte, e tanto o artigo como a prova no Lean estão agora disponíveis no GitHub.
A reviravolta é insólita. Dois dos criadores do ETH, Russell Impagliazzo e Ramamohan Paturi, juntamente com Ryan Williams, do MIT, vão liderar a verificação independente. São também diretos: "a nossa participação não deve ser interpretada como uma certificação da alegação". Não existem acordos de confidencialidade nem pagamentos, e a OpenAI concordou em divulgar todos os dados brutos e financiar uma conferência.
No mesmo dia, surgiram mais duas alegações: uma prova da conjetura da suavização local em todas as dimensões (o que também resolveria as conjeturas de restrição de Kakeya e Stein) e uma prova rigorosa da existência de certas teorias quânticas de campos quadridimensionais, incluindo a teoria de Yang-Mills pura. Um grupo liderado pelo Prémio Nobel, David Gross, está a reter o material sobre IA e a redigi-lo por conta própria.
A OpenAI afirma não ter interesse em créditos académicos e doou 5 milhões de dólares à Fundação Simons para workshops. Ainda assim, a questão de quem merece o crédito pode revelar-se o ponto mais espinhoso de todos.
A Anthropic procura uma avaliação do mercado de ações potencialmente recorde num teste crucial para o setor da IA
É oficial. A Anthropic abriu o seu capital na bolsa de valores sob o código ANT, com analistas e investidores a estimarem o seu valor em mais de 1,5 triliões de dólares. O pedido de abertura de capital tinha sido feito de forma confidencial há meses, pelo que esta é a primeira vez que pessoas de fora podem analisar os números auditados.
Estes números são surpreendentes. A receita subiu de 41 mil milhões de dólares há alguns anos para 4,585 mil milhões de dólares no ano passado e depois para 16,286 mil milhões de dólares apenas nos primeiros seis meses deste ano. No entanto, o mesmo semestre apresentou também um prejuízo líquido de 80 mil milhões de dólares. Mil milhões, com b. A Anthropic tem mais de 14.000 clientes empresariais, e um quarto da receita provém dos seus cinco maiores clientes.
A secção sobre riscos estende-se por mais de 90 páginas, o que parece apropriado para uma empresa cujos próprios executivos afirmam que os seus melhores modelos poderiam proporcionar "assistência significativa" a pessoas que tentam construir armas químicas ou biológicas. A designação de risco da cadeia de abastecimento da administração Trump também aparece aí.
Os bancos de Wall Street e Blackstone reúnem 63 mil milhões de dólares para financiar chips de IA da Broadcom para a Anthropic
No mesmo dia do pedido de IPO, o Bank of America, a Blackstone, o Citi e o Morgan Stanley reuniram 63 mil milhões de dólares para comprar os chips de IA e os equipamentos de rede da Broadcom para a Anthropic. Esta transação está entre as maiores operações de dívida ligadas ao desenvolvimento de IA até à data.
A estrutura é uma empresa de propósito específico recém-criada que compra o hardware e o aluga ao fabricante do Claude. A Broadcom oferece aos credores um "suporte de valor residual", na prática, uma garantia substancial. Cerca de 43,5 mil milhões de dólares deste valor correspondem a dívida sénior de primeiro grau, segundo duas fontes, enquanto a Blackstone assume a parcela de segundo grau já comprometida.
As entregas não deverão começar antes do próximo ano. A Moody's ainda considera a Broadcom uma das empresas tecnológicas mais fortes, mas alerta que o risco aumenta se muitos destes negócios se acumularem num curto período. E acumulam-se.
A Meta anuncia uma oferta de ações de 95 mil milhões de dólares para financiar a expansão da IA
A Meta quer mais 95 mil milhões de dólares para financiar a expansão da sua inteligência artificial. O plano começa com 35 mil milhões de dólares em ofertas públicas de ações garantidas, seguindo-se mais 60 mil milhões de dólares através de um programa de oferta pública inicial (IPO).
Um pormenor interessante chama a atenção: a Nvidia, a AMD e a Broadcom, as próprias empresas que vendem os chips, estavam interessadas em comprar até 5 mil milhões de dólares em ações. As ações caíram 1,6% nas negociações da manhã.
O dinheiro financia projetos como o agente de IA Muse, as suas aplicações e o seu negócio de data centers. A Meta já tinha elevado a sua previsão de despesas de capital para o ano completo para entre 135 mil milhões e 145 mil milhões de dólares na semana passada, e os investidores não se mostraram entusiasmados com o free cash flow negativo. Como disse um analista, isto "reflete os níveis exorbitantes de investimento necessários para se manter na corrida ao armamento da IA"
Nova startup de ex-funcionários da DOGE afirma ter pirateado a Anthropic
A Cathedral, uma startup de segurança fundada por ex-funcionários da DOGE, afirma que os seus agentes de IA encontraram falhas nos sistemas internos da Anthropic em menos de 12 horas. O acesso foi feito através de vulnerabilidades em software empresarial de terceiros, e o material obtido inclui transcrições de reuniões, salários, ofertas de emprego e mensagens do Slack.
A versão da Anthropic diverge. Ela confirmou o acesso a um "conjunto limitado" de sistemas de vendas, RH e TI, mas afirma que as conversas de Claude, o código-fonte e os pesos do modelo nunca foram acedidos. Afirma ainda que os investigadores passaram vários dias a tentar, sem sucesso, invadir o sistema diretamente e acusa a Catedral de violar as regras do seu programa de testes ao não divulgar a extensão total das suas ações.
A Cathedral está avaliada em 1,4 mil milhões de dólares, e um alto funcionário da administração Trump terá levantado preocupações de segurança nacional. Resta saber se isto é um alerta ou uma jogada de marketing perfeitamente cronometrada, e pode muito bem ser ambos.
Apresentamos o GPT-6.1 Terra
O novo modelo Terra da OpenAI apresenta-se como a ferramenta ideal para tarefas computacionais rotineiras e pouco glamorosas: elaborar propostas, ler desenhos técnicos, preencher formulários e até editar vídeos. Está a ser disponibilizado aos utilizadores dos planos Plus, Pro, Enterprise e Edu no ChatGPT Work e no Codex, além de estar disponível via API.
O custo é o ponto alto. Os preços da API são 50% mais baixos do que os do GPT-5.6 Terra e do GPT-6.1 Sol, custando 1 dólar por milhão de tokens de entrada e 5 dólares por milhão de tokens de saída. A OpenAI afirma que se equipara ao GPT-6 Astra no seu benchmark Agents' Last Exam a um décimo do preço por token e conclui as tarefas mais de três vezes mais rapidamente.
As alucinações também diminuíram drasticamente, pelo menos de acordo com os testes internos da OpenAI: a taxa de erros com baixo esforço desceu de 53,6% para 16,7%. No Terminal-Bench 4.0, resolve 50,3% das tarefas, mais do dobro do antigo Terra. Para as tarefas de programação mais complexas, no entanto, a própria OpenAI recomenda a utilização do Sol ou do Astra.
'Dear ChatGPT': Rapaz de 12 anos ganha o principal prémio juvenil no Australian Poetry Slam - vídeo
Eis uma notícia animadora. Blake Mackenzie, um rapaz de 12 anos de Newcastle, ganhou o principal prémio juvenil no Australian Poetry Slam com um poema dedicado a nada mais nada menos que o ChatGPT.
Apresentou a peça na Ópera de Sydney no domingo à noite, abordando temas como o hábito de fazer scroll sem parar em más notícias, a solidão e a atrofia intelectual. Um tema incisivo vindo de um miúdo que é provavelmente demasiado jovem para a maioria das aplicações para as quais está a alertar.
A competição contou com 65 eliminatórias em 60 cidades para selecionar 16 finalistas. Blake partilha um prémio de 20 mil dólares com o poeta Bivor, de Alice Springs, que venceu a categoria de adultos com o poema "Politics Is Doing You".
Perguntas frequentes
O modelo de IA da OpenAI refutou realmente a Hipótese do Tempo Exponencial?
A OpenAI afirma que um modelo interno refutou a Hipótese do Tempo Exponencial, uma conjetura sobre a dificuldade da satisfatibilidade booleana. O modelo encontrou a refutação há cerca de dez dias, e a OpenAI verificou-a no Lean no dia seguinte. Tanto o artigo como a prova no Lean estão disponíveis no GitHub. A afirmação ainda precisa de ser submetida a uma verificação independente.
Quem está a verificar de forma independente a alegação de refutação da OpenAI no Ethereum?
Russell Impagliazzo e Ramamohan Paturi, dois dos proponentes do ETH, vão liderar a verificação juntamente com Ryan Williams, do MIT. Realçam que o seu envolvimento não deve ser interpretado como uma certificação da alegação. Não existem acordos de confidencialidade nem de pagamento. A OpenAI concordou em divulgar todos os dados brutos e financiar uma conferência.
Que outros resultados de matemática e física divulgou a OpenAI no mesmo dia?
A OpenAI também afirmou ter provado a conjetura da suavização local em todas as dimensões, o que também resolveria as conjeturas de restrição de Kakeya e Stein. Uma segunda alegação foi a de ter provado a existência de certas teorias quânticas de campos quadridimensionais, incluindo a teoria de Yang-Mills pura. Um grupo liderado pelo Prémio Nobel, David Gross, está a reter o material da OpenAI e a escrevê-lo por conta própria. A OpenAI afirma não ter interesse no reconhecimento académico e doou 5 milhões de dólares à Fundação Simons para a realização de workshops.
O que revela o pedido de IPO da Anthropic sobre a sua receita e prejuízos?
A Anthropic abriu o seu capital na bolsa de valores sob o código ANT, com analistas e investidores a avaliarem a empresa em mais de 1,5 triliões de dólares. A receita subiu de 41 mil milhões de dólares há alguns anos para 4,585 mil milhões de dólares no ano passado e para 16,286 mil milhões de dólares no primeiro semestre deste ano. Nesse mesmo período, a empresa registou um prejuízo líquido de 80 mil milhões de dólares. A Anthropic conta com mais de 14.000 clientes empresariais, sendo que os seus cinco maiores clientes representam um quarto da receita.
Como funciona o acordo de financiamento de chips da Broadcom para a Anthropic, no valor de 63 mil milhões de dólares?
O Bank of America, a Blackstone, o Citi e o Morgan Stanley reuniram 63 mil milhões de dólares para comprar chips de IA e equipamento de rede da Broadcom para a Anthropic. Uma empresa de propósito específico recém-criada adquire o hardware e aluga-o ao fabricante do Claude. A Broadcom fornece aos credores garantias sobre o valor residual. Cerca de 43,5 mil milhões de dólares correspondem a dívida sénior de primeiro grau, segundo duas fontes, enquanto a Blackstone assume a parcela de segundo grau já comprometida. As entregas não deverão começar antes do próximo ano.
Por que razão a Meta está a captar 95 mil milhões de dólares através de uma oferta de ações?
A Meta pretende angariar 95 mil milhões de dólares para financiar a expansão da sua inteligência artificial, abrangendo o seu agente de IA Muse, as suas aplicações e o seu negócio de data centers. O plano começa com 35 mil milhões de dólares em ofertas públicas de ações garantidas, seguindo-se mais 60 mil milhões de dólares através de um programa de ações no mercado. A Nvidia, a AMD e a Broadcom demonstraram interesse em adquirir até 5 mil milhões de dólares em ações. A Meta já tinha elevado a sua previsão de despesas de capital para todo o ano para entre 135 mil milhões e 145 mil milhões de dólares, e as ações caíram 1,6% nas negociações da manhã.
Será que a Cathedral invadiu realmente os sistemas internos da Anthropic?
A Cathedral, uma startup de segurança fundada por ex-funcionários da DOGE, afirma que os seus agentes de IA encontraram lacunas nos sistemas internos da Anthropic em menos de 12 horas, explorando vulnerabilidades em software de terceiros. A Anthropic confirmou o acesso a um conjunto limitado de sistemas de vendas, RH e TI. A empresa alega que as conversas de Claude, o código-fonte e os pesos do modelo nunca foram acedidos. A Anthropic acusa ainda a Cathedral de violar as regras do seu programa de testes ao não divulgar a extensão total das suas ações.
Qual o preço do GPT-6.1 Terra e quem o pode utilizar?
O GPT-6.1 Terra está a ser disponibilizado aos utilizadores Plus, Pro, Enterprise e Edu no ChatGPT Work e Codex, e também através da API. Os preços da API são de 1 dólar por milhão de tokens de entrada e 5 dólares por milhão de tokens de saída, 50% mais baixos do que o GPT-5.6 Terra e o GPT-6.1 Sol. A OpenAI afirma que se equipara ao GPT-6 Astra no Agents’ Last Exam, com um custo por token dez vezes inferior. Para as tarefas de programação mais complexas, a OpenAI recomenda a utilização do Sol ou do Astra.