Introductie van Yuclid en Newclid 3.0; de systemen die verantwoordelijk zijn voor ons succes op Probleem 2 en bijdragen aan onze Gold Medal-niveau prestaties op de IMO. We zijn enthousiast om te zien hoe onderzoekers en wiskundigen deze in hun eigen werk zullen benutten terwijl we onze zoektocht naar MSI voortzetten.