吴文俊提出利用机器证明与发现几何定理的新方法——几何定理机器证明,获得全国科学大会重大科技成果奖。钱学森等主张开展人工智能研究,中国的人工智能研究活跃起来。1981 年9 月,中国人工智能学会(CAAI)在长沙成立,秦元勋当选第一任理事长。于光远在大会期间主持了一次大型座谈会,讨论有关人工智能的一些认识问题。他指出:“人工智能是一门新兴的科学,我们应该积极支持。”1982年,中国人工智能学会刊物《人工智能学报》在长沙创刊,成为国内首份人工智能学术刊物。
吴文俊提出利用机器证明与发现几何定理的新方法——几何定理机器证明,获得全国科学大会重大科技成果奖。钱学森等主张开展人工智能研究,中国的人工智能研究活跃起来。1981 年9 月,中国人工智能学会(CAAI)在长沙成立,秦元勋当选第一任理事长。于光远在大会期间主持了一次大型座谈会,讨论有关人工智能的一些认识问题。他指出:“人工智能是一门新兴的科学,我们应该积极支持。”1982年,中国人工智能学会刊物《人工智能学报》在长沙创刊,成为国内首份人工智能学术刊物。