介紹 Yuclid 和 Newclid 3.0；這些系統是我們在問題 2 上取得成功並為我們在國際數學奧林匹克（IMO）中獲得金牌級表現做出貢獻的關鍵。我們很高興看到研究人員和數學家如何在他們自己的工作中利用這些系統，同時我們繼續追求 MSI /1。