第207章 没有经商头脑
“编号为N-X7的机器人,抓取动作由工程师花了三个月优化电机,但最后发现是任务优先级算法出了问题。”
“直到我在一次符号逻辑课,才明白这本质上是谓词逻辑的应用问题。”
韦书瑶:“所以你是由工程实践反推到理论研究的?”
“是的。”提起自己擅长的领域,魏婷眼中闪着明亮的光。
韦书瑶话锋一转:“学哲学的人总是容易过度设计,你怎么平衡理论完美和工程可实现性?”
“我们导师说过,【再完美的逻辑也要能编译通过】,测试才是检验真理的标准。”
韦书瑶看她眼神越来越欣赏,忽然从西服内袋抽出一张名片:“毕业后,可以来我公司。”
魏婷伸出双手,将名片接过,低头一看:【诺亚智造/技术顾问/韦书瑶】