Bitduke

7,500 páginas de matemática -> 16 MILHÕES de linhas de Lean
A Axiom acaba de lançar uma formalização de todo o Stacks Project, uma das bases da geometria algébrica moderna, usando enxames de agentes de IA
o que é especialmente impressionante é terem conseguido preservar as ligações entre

O sentimento é claramente muito contrário aos centros de dados neste momento, mas vamos ver se isso se traduz realmente em alguma ação concreta num futuro próximo.

Mais de 300.000 submissões de kernels, e o Open Kernel Challenge Muse Spark da Paradigm acabou de te dar mais uma razão para voltares a executar o teu código para a sprint final de kernels: os organizadores esclareceram (flexibilizaram?) que a matemática aproximada com precisão bf16, as somas parciais em bf16/fp16 e a acumulação em fp16 em

Boa iniciativa, especialmente tendo em conta tudo o que as equipas de segurança têm de acompanhar neste momento (Mythos!)

já não estás a rever o código da tua IA esse é o aviso do artigo de Addy Osmani no X. trabalha no Claude Code e está agora preocupado com a perda de pensamento crítico por parte dos engenheiros. a IA tornou-se tão boa (e isto é verdade) que o seu trabalho deixa de parecer errado, por isso deixas de verificar. primeiro, tu

A SemiAnalysis lançou o benchmark gdpx, e até o melhor modelo de IA obteve apenas cerca de 12%. A empresa independente de investigação sobre semicondutores e IA concebeu-o em torno de uma questão: até que ponto conseguem os modelos de fronteira realizar, de forma autónoma, tarefas difíceis e economicamente valiosas quando têm

A questão é: será que esta Onda Azul por toda a América vai atingir os centros de dados como um tsunami e paralisar tudo, ou acabará por lhes fornecer energia?

Poderias explicar a última coisa que a tua IA lançou sem lhe perguntares?

Já não é apenas um fornecedor de RPC: agora também oferece inferência (embora ainda esteja em lista de espera), prometendo inferência de baixa latência para Kimi, DeepSeek e GLM através de uma API compatível com a OpenAI. Sem necessidade de SDK nem GPU.

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

um banco francês com $235B em ativos alegadamente perdeu mais de $133M em criptomoedas, e o investigador on-chain ZachXBT suspeita de um encobrimento depois de ter inicialmente assinalado um alegado roubo de mais de $106M das contas de uma entidade da UE não identificada em várias exchanges centralizadas, ZachXBT identifica agora Crédit

A THORChain a fazer o que faz de melhor

e se os modelos começarem a editar os pesos de outros modelos de formas que nunca pretendemos (a verdadeira diversão começa)

primeiro frigoríficos por toda a Europa, e agora bancos de sangue? os hackers aumentarem remotamente as temperaturas onde quiserem está a tornar-se uma tendência de ciberataques bastante preocupante; segundo o Le Canard Enchaîné, os bancos de sangue poderão ter sido alvo de um vetor de ataque semelhante, possivelmente através da exploração de sistemas desatualizados

Sim, a investigação no espaço dos pesos está provavelmente agora onde os LLMs estavam há alguns anos, quando ainda tinham dificuldades com a matemática do ensino básico. Só consigo imaginar onde isto estará daqui a alguns anos (talvez até meses).

portanto, o fluxo de trabalho é basicamente * Opus 5.5 com esforço médio * basta falar com o Claude e deixá-lo fazer o trabalho * dar-lhe um servidor e dizer-lhe para proteger, implementar e otimizar tudo anotado!

de acordo com a CrowdStrike, um atacante ligado a violações de 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, hilariante! houve o incidente da Hugging Face em julho e, nesse mesmo mês, o FBI e a EPA alertaram que hackers

Impressionante. Compare por si mesmo todos estes vídeos de bicicletas e pelicanos gerados por IA — cada um criado numa única tentativa! Sem prompts adicionais nem passos extra.