Notícias de IA e infraestrutura

QED-Nano: o que um modelo de 4B ensina sobre provas matemáticas

Um post publicado em 15 de fevereiro de 2026 apresenta o QED-Nano, projeto para treinar um modelo de 4 bilhões de parâmetros a provar problemas de olimpíada, com materiais sobre treinamento, dados e implementação.