Presentiamo Yuclid e Newclid 3.0; i sistemi responsabili del nostro successo nel Problema 2 e che hanno contribuito alla nostra performance di livello Medaglia d'Oro all'IMO. Siamo entusiasti di vedere come i ricercatori e i matematici sfrutteranno questi strumenti nel loro lavoro mentre continuiamo la nostra ricerca per MSI /1