A matemática com IA ainda precisa do matemático humano
A IA agora resolve provas difíceis em minutos e torna um matemático experiente cerca de 50% mais produtivo, mas suas provas continuam confusas e mal abstraídas. O trabalho colaborativo de 'centauro' ainda precisa de humanos para assumir a estrutura e a compreensão. — lesswrong.com
O compilador experimental do Python chega a um beco sem saída
O compilador just-in-time experimental do Python está sendo removido do intérprete padrão depois que seus mantenedores retiraram a proposta de torná-lo um recurso suportado. O conselho diretivo havia pausado o trabalho até que a proposta respondesse a perguntas sobre manutenção, compatibilidade e desempenho. — lwn.net
Unlimited OCR 2 processa livros em uma única passada
O Unlimited OCR 2, um modelo de leitura de documentos, processa documentos do tamanho de livros em uma única passada ao comprimir a atenção em um conjunto fixo de referências texto-visuais. Ele atinge resultados de última geração em benchmarks de documentos ultralongos. — huggingface.co
Hermes Agent cria habilidades a partir da experiência
O Hermes Agent, um assistente de IA que se aprimora sozinho, cria habilidades a partir da experiência e as refina durante o uso, enquanto constrói um modelo persistente do usuário ao longo das sessões. Ele roda em qualquer coisa, de um servidor virtual barato a uma infraestrutura serverless, e continua funcionando mesmo quando o usuário está ausente. — github.com
Agentes de IA geram picos e depois o esgotamento
Os agentes de IA levaram um líder de engenharia de volta ao seu ritmo de codificação mais intenso, com o ano atual já superando todos os anos completos desde aquele pico inicial. O trabalho chega em rajadas exaustivas seguidas de esgotamento, já que a implementação barata continua se transformando em fazer mais. — oioannou.com