2018年4月4日，航天科工集团三院304所国家千人计划专家、巴黎第七大学计算机系博士陈钢教授应邀来清华大学类脑计算研究中心作报告，清华大学类脑计算研究中心主任施路平教授主持本次研讨会。
陈教授主讲题目为形式化工程数学与下一代人工智能。陈教授以最火的AlphaGo为例，讲了当前人工智能的局限，从而引出形式化工程数学。陈教授分享，形式化工程数学的主要内容是在计算机中验证至今为止人类所有推理的数学公式、定理等；结合到人工智能，就是可以验证软件的漏洞，杜绝黑客的造访。陈教授认为，现今的AI强在识别，弱在数学推理，下一代AI应该着重向数学定理证明、设计机理、编写软件等方向发展。
图为 陈钢教授与类脑中心老师进行讨论
在讨论阶段，陈教授与我中心的各位进行了深度的学术探讨，就双方的研究特色进行了坦诚的交流，特别是讨论了天机系列芯片和形式化工程数学融合的可能性，双方决定充分发挥各自的学科优势和条件，加强学科之间的交流和学习，共同推动类脑计算的研究！
图为 陈钢教授与类脑中心部分老师合影