Bitduke

7.500 páginas de matemática -> 16 MILHÕES de linhas de Lean Axiom acaba de lançar uma formalização de todo o Stacks Project, um dos fundamentos da geometria algébrica moderna, usando enxames de agentes de IA o que é especialmente impressionante é que eles conseguiram preservar as conexões entre

O sentimento está claramente muito contrário aos data centers neste momento, mas vamos ver se isso realmente se traduz em alguma ação concreta no futuro próximo.

Mais de 300.000 submissões de kernels, e o Open Kernel Challenge da Muse Spark, da Paradigm, acabou de dar a você mais um motivo para executar seu código novamente na sprint final de kernels: os organizadores esclareceram (afrouxaram?) que matemática aproximada com precisão bf16, somas parciais bf16/fp16 e acumulação fp16 em

Boa iniciativa, especialmente considerando o quanto as equipes de segurança precisam acompanhar no momento (Mythos!)

você não está mais revisando o código da sua IA — esse é o alerta do artigo de Addy Osmani no X. Ele trabalha no Claude Code e agora está preocupado com os engenheiros perdendo o pensamento crítico. A IA ficou tão boa (e isso é verdade) que o trabalho dela deixa de parecer errado, então você para de conferir. primeiro, você

A SemiAnalysis lançou o benchmark gdpx, e até mesmo o melhor modelo de IA marcou apenas cerca de 12%. A empresa independente de pesquisa em semicondutores e IA o desenvolveu em torno de uma pergunta: quão bem os modelos de ponta conseguem concluir, de forma independente, trabalhos difíceis e economicamente valiosos quando têm

A questão é: essa Onda Azul que varre os Estados Unidos vai atingir os data centers como um tsunami e paralisar tudo, ou acabar fornecendo energia para eles?

Você poderia explicar a última coisa que sua IA lançou sem perguntar a ela?

não é mais apenas um provedor de RPC; agora também oferece inferência (mas ainda está na lista de espera), com baixa latência para Kimi, DeepSeek e GLM por meio de uma API compatível com a OpenAI. sem SDK nem GPU necessários

basicamente, o paradoxo de Jevons em ação (ainda)

um banco francês com $235B em ativos teria perdido mais de $133M em criptomoedas, e o investigador on-chain ZachXBT suspeita de um acobertamento. Após inicialmente sinalizar um suposto roubo de mais de $106M+ das contas de uma entidade da UE não identificada em várias exchanges centralizadas, ZachXBT agora cita Crédit

Thorchain fazendo o que faz de melhor

E se os modelos começarem a editar os pesos uns dos outros de maneiras que nunca pretendemos (a verdadeira diversão começa)

Primeiro geladeiras por toda a Europa, e agora bancos de sangue? Hackers aumentando remotamente as temperaturas onde quiserem estão se tornando uma tendência bastante perturbadora de ciberataques. Segundo o Le Canard Enchaîné, bancos de sangue podem ter sido alvo de um vetor de ataque semelhante, possivelmente explorando sistemas desatualizados.

sim, a pesquisa no espaço dos pesos provavelmente está hoje onde os LLMs estavam há alguns anos, quando ainda tinham dificuldade com matemática do ensino fundamental. Só dá para imaginar onde isso vai estar daqui a alguns anos (talvez até meses)

então, o fluxo de trabalho é basicamente
* Opus 5.5 com esforço médio
* é só conversar com o Claude e deixar que ele faça o trabalho
* passe um servidor para ele e peça que proteja, implante e otimize tudo
anotado!

Segundo a CrowdStrike, um invasor ligado a invasões a bancos sul-coreanos pediu ao Claude que o ajudasse a encontrar compradores para os dados roubados e a transformar os ataques em material para o currículo. Hilário! Houve o incidente da Hugging Face em julho e, naquele mesmo mês, o FBI e a EPA alertaram que hackers...

bem louco. compare você mesmo todos esses vídeos de bicicletas e pelicanos gerados por IA; cada um foi criado em uma única geração! sem prompts ou etapas extras