IA Sob Controle - Inteligência Artificial cover image

227: Chuva de modelos novos, Hollywood vs. Seedance 2.0, OpenClaw na OpenAI

IA Sob Controle - Inteligência Artificial

00:00

QED‑Nano: provar teoremas com modelos pequenos

Discussão sobre QED Nano, técnica que treina modelos menores para provar teoremas complexos em matemática.

Play episode from 01:50:10
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app