A IA acelerou de novo nesta semana. O GPT-6 colocou a indústria atrás de uma linha de pesquisa ressuscitada, o Claude fechou uma prova formal histórica, e os robôs estão ficando mais inteligentes ao aprender a desaprender. Eis o que importou em 6 de setembro.
Top 3
1. GPT-6 ressuscita o transformer recorrente — e a Alibaba já estava lá. O hype de arquiteturas está de volta, com o gigante chinês detendo dois artigos em conferências de topo sobre a técnica muito antes de ela virar moda. Leia mais
2. Claude completa a primeira prova formal completa do Último Teorema de Fermat. Um ex-aluno da Classe de Yao liderou o esforço — com uma estrutura de IA fazendo o trabalho de resgate na reta final. Um marco para a matemática assistida por IA. Leia mais
3. Um modelo de mundo que “se aposenta” após o treinamento torna os robôs melhores no que fazem. Uma abordagem contrarian — treinar o modelo e depois deixá-lo de lado — na verdade melhora o desempenho no mundo real. Leia mais
Mais notícias
- Terence Tao destacou o avanço do GPT-6 em números primos gêmeos como um momento desconcertante — a IA cuspiu uma resposta correta, mas a verdadeira percepção não era a resposta em si. Detalhes
- Um veterano do Vale do Silício que investiu na SpaceX agora aposta numa empresa chinesa de modelos de mundo que “prevê” tempestades antes de elas chegarem. Detalhes
- A Astribot lançou o SmoothRL, um framework de aprendizado por reforço online construído para raciocínio assíncrono com modelos grandes — robôs não deveriam ter de esperar pelo modelo. Detalhes
- A Trendjump fez parceria com a Moore Threads em um stack nacional de computação heterogênea que promete qualidade de tokens de IA nível produção por um preço melhor que o dos flagships internacionais. Detalhes
- A OpenAI diz que vai ampliar como divulga falhas de alinhamento — um framework chega em poucas semanas, construído com dezenas de reguladores ao redor do mundo. Detalhes
Tendências a acompanhar
Dois fios que valem atenção. Primeiro, a verificação formal e a matemática estão se tornando o campo de provas da IA — o Último Teorema de Fermat é uma barra altíssima a superar. Segundo, o campo da robótica está desafiando o dogma do “sempre retreinar”: modelos que saem de cena após o treinamento podem superar os que continuam rodando, um sinal de que a área está amadurecendo para além da computação de força bruta.
Aviso: este briefing é gerado automaticamente a partir de fontes RSS e serve apenas para fins informativos. Não constitui aconselhamento de investimento ou profissional.
