经典几何可以用计算机证明。FFT，有限元，样条函数使计算机有效解决工程问题

所有跟帖： 

• 计算机辅助存在已久，以前可能比较单一，现在构造的新系统往往能给出惊奇的结果 -hobo-hobo- ♀ (0 bytes) () 01/27/2016 postreply 16:12:16

• 构造复杂新系统不能于创新。learning, recognition 还是基于人设定的 rules. 不了解其它行业情况，机器人 -simplylove- ♀ (53 bytes) () 01/27/2016 postreply 16:21:01

• 据说分析太空星球数据，可以提出宇宙起源的新模型。当然路还长。 -hobo-hobo- ♀ (0 bytes) () 01/27/2016 postreply 16:36:32