Astra, da OpenAI, acaba de provar 10 teoremas de matemática e ciência de longa data. Os tokens custaram US$ 2.000. - The New Stack

- A OpenAI relatou que seu modelo interno, Astra, produziu com sucesso 10 novos teoremas matemáticos e científicos.
- O processo custou aproximadamente US$ 2.000 em tokens de API, proporcionando um raro vislumbre do custo financeiro do raciocínio de IA de alto nível.
- Este desenvolvimento é significativo, pois reformula a pesquisa de IA de fronteira como uma despesa orçável, embora os resultados ainda exijam verificação por matemáticos humanos.
- O resultado sugere uma mudança em direção ao uso de IA para automatizar a descoberta de provas complexas, acelerando potencialmente as descobertas científicas.
Fontes e Citações
1 fonteMais Matérias
Tráfego no Estreito de Hormuz permanece abaixo do normal enquanto sanções dos EUA pressionam o Irã
• O Departamento do Tesouro dos EUA lançou a "Operation Economic Outcast" esta semana, visando redes financeiras iranianas para aumentar a pressão econômica sobre Teerã. • Como parte da operação, o FinCEN propôs uma norma para revogar o acesso bancário correspondente nos EUA do Banque Misr UAE, uma agência bancária egípcia supostamente ligada ao regime iraniano.
Ler original · foxnews.com
Fox NewsThe Hindu Morning Digest: 29 de agosto de 2026 - The Hindu
• Um juiz militar dos EUA decidiu, em 28 de agosto de 2026, que as confissões feitas por Khalid Sheikh Mohammed, o suposto mentor dos ataques de 11 de setembro, são inadmissíveis. • A decisão especifica que as declarações fornecidas a agentes do FBI não podem ser usadas como prova contra Mohammed durante seu julgamento.
Ler original · thehindu.comAtualizações ao vivo da Guerra EUA-Irã: Irã promete manter-se firme contra sanções dos EUA, chama diplomacia e defesa de 'inseparáveis' - The Times of India
• O presidente iraniano Masoud Pezeshkian anunciou a prontidão de Teerã para estabelecer acordos de segurança conjunta com países vizinhos. • O anúncio ocorre no momento em que o conflito com os Estados Unidos completou seis meses nesta sexta-feira.
Ler original · timesofindia.indiatimes.comSanções dos EUA contra o Irã impactarão negativamente a região — diplomatas iraquiano e omanense, TASS
• O Ministro das Relações Exteriores do Iraque, Fuad Hussein, e o Ministro das Relações Exteriores de Omã, Badr al-Busaidi, alertaram que as sanções dos EUA contra o Irã impactarão negativamente a estabilidade da região. • Os diplomatas pediram reuniões de emergência entre as nações interessadas para abordar esses "desenvolvimentos perigosos" e mitigar suas repercussões.
Ler original · tass.comRestrições Judiciais às Ações do Governo Trump em 2026: Um padrão recorrente de tentativa de alcançar mudanças políticas no limite — ou além do que inúmeros juízes concluíram ser...
• Os tribunais restringiram repetidamente os esforços políticos do governo Trump em 2026, decidindo que as autoridades tentaram atingir objetivos além dos limites das delegações estatutárias existentes. • Uma decisão fundamental estabeleceu que o governo não pode usar designações de contratação ou de segurança nacional como punição econômica pretextuosa para contratados que discordem das políticas da administração.
Ler original · p4sc4l.substack.comAP News in Brief às 6h04 EDT | Nacional
• O Presidente Trump anunciou um acordo massivo de petróleo com a Venezuela, que ele descreveu como o "maior acordo de petróleo da história mundial". • O acordo envolve o desenvolvimento de 17 campos de petróleo com um potencial comprovado de 65 bilhões de barris, de acordo com um comunicado do governo Rodríguez.
Ler original · idahostatejournal.comAtualizações ao vivo: Irã promete resistir a sanções dos EUA enquanto guerra ultrapassa a marca de 6 meses
• O Irã prometeu resistir às sanções dos EUA enquanto o conflito envolvendo os Estados Unidos e Israel ultrapassa a marca de seis meses. • Apesar dos bloqueios dos EUA aos portos iranianos e de interrupções significativas no tráfego de navios no Estreito de Hormuz, nenhum dos lados mostra sinais de recuar.
Ler original · cbsnews.comPrincipais notícias de Taiwan - Focus Taiwan
• A Legislatura de Taiwan aprovou um polêmico projeto de lei de aquisição de drones de seis anos, avaliado em NT$ 240 bilhões. • O projeto foi impulsionado por forças lideradas pela oposição, gerando debate e controvérsia significativos dentro do órgão legislativo.
Ler original · focustaiwan.tw
Focus Taiwan“A Implementação é Tudo”: Dra. Rahel Bafe sobre Eleições, Resultados do Diálogo e o Caminho para o Consenso
• A Etiópia concluiu recentemente dois marcos políticos fundamentais: a sétima eleição geral e a Conferência de Diálogo Nacional Etíope. • A Dra. Rahel Bafe enfatiza que "a implementação é tudo", argumentando que o sucesso desses eventos depende de como os resultados serão executados.
Ler original · thereporterethiopia.comDemocracy Now! - 28 de agosto de 2026
• O deputado Joaquin Castro está pedindo o fechamento da prisão de famílias do ICE em Dilley, citando condições "abusivas" e a focalização específica em famílias de militares. • O colapso catastrófico de uma geleira desencadeou inundações massivas na região do Nepal-Tibet, deixando aproximadamente 2.000 pessoas mortas ou desaparecidas.
Ler original · kpfa.orgResumo AP News às 20h17 EDT | Nacional
• Socorristas estão resgatando sobreviventes cobertos de lama após um desastre catastrófico de inundação ao longo da fronteira entre Nepal e China. • O número de mortos continua a subir enquanto equipes de emergência lutam para chegar a áreas remotas afetadas por deslizamentos de terra e inundações.
Ler original · dailyindependent.comEleições de 2027: A base do Cong e a máquina do SP os ajudarão a passar no teste de UP?
• O Congress e o Samajwadi Party (SP) estão coordenando uma estratégia conjunta para desafiar o poder governante nas próximas eleições da assembleia de Uttar Pradesh em 2027. • A aliança visa combinar o renovado engajamento público e a reformulação política de Rahul Gandhi com a maquinaria organizacional estabelecida de Akhilesh Yadav no terreno.
Ler original · hindustantimes.com