
PesquisaHugging Face Blog
Novo modelo de IA resolve 92% dos problemas de matemática formal com busca autônoma por lemmas
Kimina-Prover-72B combina aprendizado por reforço com busca inteligente de lemmas intermediários para construir provas matemáticas complexas, superando métodos anteriores no benchmark miniF2F