China mathematician: Zu Chongzhi Zi Zuxuan, who worked out the principle of ancestral graves; Wu Wenjun, a machine proof method for studying geometric problems, is called "Wu Fa" internationally; The software "Z+Z Intelligent Education Platform" developed by Academician Zhang Jingzhong, who is mainly engaged in machine certification, won the gold medal in the Hong Kong International Invention Exhibition in 2000.