Einführung von Yuclid und Newclid 3.0; die Systeme, die für unseren Erfolg bei Problem 2 verantwortlich sind und zu unserer Goldmedaille-Leistung bei der IMO beigetragen haben. Wir sind gespannt, wie Forscher und Mathematiker diese in ihrer eigenen Arbeit nutzen werden, während wir unsere Suche nach MSI fortsetzen.