IBM沃森系统与芯片设计制造

大家知道，IBM沃森的软件系统DeepQA内部含有自动定理证明（ATP）模块。这个软件模块是芯片制造（设计验证阶段）所必须的。

现代无穷小的引入建立在形式化语言公理系统之上，自动定理证明与其有关。

有人想看IBM沃森的笑话，殊不知它的自我学习功能很强，越用越聪明。傻帽儿！

袁萌  4月28日