Notícias e análises sobre IA matemática

2 artigos verificados sobre IA matemática, produtos e movimentos do setor.

Código aberto 2026-08-22

OpenBMB abre código de modelo de formalização de 8B que supera rivais de 32B

A OpenBMB lançou em código aberto o MathForm, um modelo de 8B que traduz matemática para Lean 4 e supera modelos de formalização de 32B no teste mais difícil, o FATE-X.

#IA matemática #Verificação Formal #LLMs chineses

DeepMind 2026-04-22

IA Aletheia do DeepMind resolve 6 problemas matemáticos de nível de pesquisa

A Aletheia, a mais recente IA matemática do DeepMind, resolveu 6 dos 10 problemas de pesquisa não publicados do desafio FirstProof, com 5 soluções avaliadas por especialistas externos como publicáveis após pequenas revisões.

#Google AI #Pesquisa em IA #IA matemática