Inteligência Artificial
IA na IMO 2025: como Celia e dots-note-3.0 tiraram ouro
IA na IMO tirou nota máxima com LLM mais solver simbólico. Testei o padrão em produção e resolve 70% dos problemas de olimpíada. A mágica é verificação formal.
Ler artigo completo