Apresentando Yuclid e Newclid 3.0; os sistemas responsáveis pelo nosso sucesso no Problema 2 e que contribuíram para o nosso desempenho de nível Medalha de Ouro na IMO. Estamos entusiasmados para ver como pesquisadores e matemáticos irão aproveitar isso em seu próprio trabalho enquanto continuamos nossa busca por MSI /1