南航非数学专业学生获全国数学竞赛一等奖

努力，因为是自己的兴趣，所以会多花时间在这上面”。在学习的时候，即便是碰到难题，他的心态也是比较平和的。就算是碰到一些复杂难懂的定理证明推理题的时候，在几遍都算不出来的情况下，他也会淡定地翻翻答案，仔细分析。很少因为题目难解就心烦意乱。张儒轩每次最开心的就是看到一...

http://www.jsenews.com/news/gx/201509/t20150910_2386152.shtml

机器智慧真的能打败人类吗

心智行为的深奥性，而更在于心智机制的灵活性、选择性、创新性和自现性。 　　也就是说，你可以使机器完成那种大多数人都所知甚少的数学定理证明，或需要深思熟虑长时间搜索求解的复杂问题等，但你却无法使机器具备哪怕一位五岁小儿所具有的各种应变能力，像日常语言的灵活运用、对周围...

http://jsdjt.jschina.com.cn/21381/201603/t20160318_2726041.shtml

激活中国传统科技文化的生命力

算法则和消元法等代数工具，成功实现了机械化证明平面几何定理。在国际机器证明领域具有极大影响力的穆尔称：“吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴文俊的工作给整个领域带来光明。”2015年屠呦呦获得诺贝尔生理学或医学奖，则是中国传统科技文化融入现代元素对世界科...

http://www.jsllzg.cn/yaowen/201608/t20160817_2963481.shtml

激活中国传统科技文化的生命力

算法则和消元法等代数工具，成功实现了机械化证明平面几何定理。在国际机器证明领域具有极大影响力的穆尔称：“吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴文俊的工作给整个领域带来光明。”2015年屠呦呦获得诺贝尔生理学或医学奖，则是中国传统科技文化融入现代元素对世界科...

http://jsdjt.jschina.com.cn/21381/201608/t20160817_2963678.shtml

激活中国传统科技文化的生命力

算法则和消元法等代数工具，成功实现了机械化证明平面几何定理。在国际机器证明领域具有极大影响力的穆尔称：“吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴文俊的工作给整个领域带来光明。”2015年屠呦呦获得诺贝尔生理学或医学奖，则是中国传统科技文化融入现代元素对世界科...

http://www.jsthinktank.com/zhihuijiangsu/wenhua/201608/t2963680.shtml

激活中国传统科技文化的生命力

算法则和消元法等代数工具，成功实现了机械化证明平面几何定理。在国际机器证明领域具有极大影响力的穆尔称：“吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴文俊的工作给整个领域带来光明。”2015年屠呦呦获得诺贝尔生理学或医学奖，则是中国传统科技文化融入现代元素对世界科...

http://jsdjt.jschina.com.cn/app/201608/t2963822.shtml

激活中国传统科技文化的生命力

算法则和消元法等代数工具，成功实现了机械化证明平面几何定理。在国际机器证明领域具有极大影响力的穆尔称：“吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴文俊的工作给整个领域带来光明。”2015年屠呦呦获得诺贝尔生理学或医学奖，则是中国传统科技文化融入现代元素对世界科...

http://www.jsllzg.cn/syzq/wh/201609/t20160921_3016367.shtml

人工智能太“聪明”个人信息“裸奔”

的主流科研集中在弱人工智能上,据记者了解,人工智能可以实现指纹识别、人脸识别、视网膜识别、虹膜识别、掌纹识别、自动规划、智能搜索、定理证明、博弈、自动程序设计、智能控制、语言和图像理解、遗传编程等。 　　记者查询发现,在现阶段,人工智能已经被运用到多项涉及民生的领域。比...

http://www.frjs.gov.cn/31007/201706/t20170601_4170123.shtml

对人工智能进行深度点评

比较清楚的可谓凤毛麟角。《人工智能简史》一书，全面讲述人工智能的发展史，几乎覆盖人工智能学科的所有领域，包括人工智能的起源、自动定理证明、专家系统、神经网络、自然语言处理、遗传算法、深度学习、强化学习、超级智能、哲学问题和未来趋势等，以宏阔的视野和生动的语言，对人...

http://jsdjt.jschina.com.cn/21382/201803/t20180302_5159694.shtml

论财政倒逼改革

不能大包大揽。时下流行的观点认为，环保必须由财政投入。这观点其实不完全对。环境恢复和治理需财政投入，但保护环境应主要靠市场。科斯定理证明，只要政府明确界定产权（如限定排放权），市场会将损害环境的社会成本内化为企业成本。这样财政不用花钱，污染也照样能控制。否则全由政...

http://www.jsllzg.cn/yaowen/201806/t20180615_5460998.shtml