Vi presenterar Yuclid och Newclid 3.0; de system som är ansvariga för vår framgång på problem 2 och som bidrar till vår prestation på guldmedaljnivå på IMO. Vi är spända på att se hur forskare och matematiker kommer att utnyttja dessa i sitt eget arbete när vi fortsätter vår strävan efter MSI-/1