Fermat’s last theorem formalised by AI agents in just 11 days https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/
O matemático que passou 7 anos tentando resolver problema solucionado por amador com IA https://www.bbc.com/portuguese/articles/c4gkd6qp22no
Hugging Face Revealed AI’s Biggest Problem https://youtu.be/19KSjYpfVTA?si=EdRhcSZljet0EdpG
Jared Diamond on the Course of History and the Role of leaders https://pca.st/ny50tzkd
Jared Diamond on the Course of History and the Role of leaders https://pca.st/ny50tzkd
a app do radinho!!! http://radinhodepilha.com/radinho canal do radinho no telegram: http://t.me/radinhodepilha meu perfil no Threads: https://www.threads.net/@renedepaulajr meu perfil no BlueSky https://bsky.app/profile/renedepaula.bsky.social meu twitter http://twitter.com/renedepaula aqui está o link para a caneca no Colab55: https://www.colab55.com/@rene/mugs/caneca-rarissima para xs raríssimxs internacionais, aqui está nossa caneca no Zazzle: https://www.zazzle.com/radinhos_anniversary_mug-168129613992374138 minha lojinha no Colab55 (posters, camisetas, adesivos, sacolas): http://bit.ly/renecolab meu livro novo na lojinha! blue notes https://www.ko-fi.com/s/550d7d5e22 meu livro solo https://www.ko-fi.com/s/0f990d61c7 o adesivo do radinho!!! http://bit.ly/rarissimos minha lojinha no ko-fi: https://ko-fi.com/renedepaula/shop
muito obrigado pelos cafés!!! http://ko-fi.com/renedepaula
