"A matemática está passando pela maior mudança de sua história." Fico feliz em ver que nosso agente de matemática #Aletheia destaque pela @newscientist sobre seus resultados no desafio inaugural FirstProof, junto com outros marcos interessantes em IA para pesquisa matemática! Implicações que valem a pena pensar. Link no tópico.