A equipe Discovery do Google DeepMind, num projeto liderado pelo pesquisador estudantil @dsantosmarco, fez novas descobertas na busca pelo sexto número Busy Beaver (BB)

Em 21 de outubro de 2026, a conta oficial de X do Google DeepMind retuitou Tom Zahavy: ao longo do último ano, a equipe Discovery do DeepMind, num projeto liderado pelo pesquisador estudantil @dsantosmarco, fez novas descobertas na busca pelo sexto número Busy Beaver (BB), um dos problemas abertos mais belos da teoria da computação. Diferentemente da maioria dos sistemas de IA matemática que resolvem problemas criados por humanos, este trabalho explora outra dimensão da criatividade matemática: descobrir problemas ocultos. Isso é importante porque o Busy Beaver é um problema aberto clássico da ciência da computação teórica, e a IA passar de resolver problemas a descobrir nova matemática marca um novo passo no paradigma da IA para a ciência.

• Google DeepMind2026-10-21 15:00