数学机械化研究成果入选国家"十五"重大科技成就展。成就展于9月18日在北京海淀展览馆开幕。据科技日报报道，“近年来，我国基础科学研究水平稳步提升，取得了一系列重大科学发现和发明……在基础科学研究领域，数学机械化研究、澄江动物群脊椎动物起源研究等成就，得到了举世公认。”