介绍 Yuclid 和 Newclid 3.0；这些系统是我们在问题 2 上取得成功并为我们在国际数学奥林匹克（IMO）中获得金牌级表现做出贡献的关键。我们很高兴看到研究人员和数学家如何在他们自己的工作中利用这些系统，同时我们继续追求 MSI /1。