Presentamos Yuclid y Newclid 3.0; los sistemas responsables de nuestro éxito en el Problema 2 y que contribuyen a nuestro rendimiento de nivel Medalla de Oro en la IMO. Estamos emocionados de ver cómo los investigadores y matemáticos aprovecharán estos en su propio trabajo mientras continuamos nuestra búsqueda de MSI /1