1977年吴文俊及其学生实现平面几何定理的机械化证明。
1977年，中国著名数学家吴文俊及其学生在平面几何定理的机械化证明方面取得了突破性的进展。这一事件是中国数学史上具有里程碑意义的事件之一，对于推动中国数学的发展和提高国际地位产生了深远的影响。
在此之前，几何定理的证明一直是数学领域中的一个重要问题。传统的证明方法需要大量的计算和推理，不仅耗时费力，而且容易出错。因此，研究几何定理的证明方法一直是数学界的一个热点问题。
吴文俊和他的学生们在这个领域进行了多年的探索和研究。他们认为，几何定理的证明应该是基于公理系统的，而不是依赖于个别的观察和实验结果。因此，他们提出了一种基于公理系统的几何定理证明方法，即将几何定理转化为一系列的形式化命题，然后通过逻辑推理和数学运算来证明这些命题的正确性。
这种方法的核心是“机械化证明”，即利用计算机等工具自动地完成几何定理的证明过程。在当时，这种方法还是一项前沿的技术，但是吴文俊和他的学生们相信它是未来几何定理证明的方向。
吴文俊在数学机械化方面的贡献。
中国传统数学强调构造性和算法化，注意解决科学实验和生产实践中提出的各类问题，往往把所得到的结论以各种原理的形式予以表述。吴文俊把中国传统数学的思想概括为机械化思想，指出它是贯穿于中国古代数学的精髓。
20世纪70年代，吴文俊曾在计算机工厂劳动，切身体会到计算机的巨大威力，敏锐地觉察到计算机的极大发展潜力。吴文俊认为，计算机作为新的工具必将大范围地介入到数学研究中来，使数学家的聪明才智得到尽情发挥。
计算机的飞速发展必将使中国传统数学的机械化思想得以发扬光大，机械化数学的发展必将为中国数学的发展做出巨大贡献。已故程民德院士认为：吴文俊倡导数学机械化，是从数学科学发展的战略高度提出的一种构想。数学机械化的实现，将对中国数学的振兴乃至复兴做出巨大贡献。