IA da Meta é capaz de provar teoremas matemáticos

Se valendo de um esquema de progresso incremental, a inteligência artificial quebrou os recordes atuais na prova de teoremas matemáticos, simulando a criatividade e intuição que humanos usam para resolver estes problemas.