12月18日，2012年图灵奖得主Silvio Micali教授来到启真讲堂，用浅显、生动的语言和比如为同学们带来了一场题为“证明，隐秘和核算”的讲座。
Silvio Micali教授生于意大利，于1983年在加州大学伯克利分校获得核算机科学博士学位，同年进入麻省理工大学任教。他的研讨方向触及根据杂乱性的伪随机生成、密码学、零常识、安全协议和机械设计。Micali教授由于在密码学和杂乱理论范畴做出壮举性作业，于2012年和Shafi Goldwasser教授一同被颁发图灵奖。
讲座中，Micali教授介绍了核算机科学在数学证明中的改造性使用，提醒了其在数字范畴意想不到的使用。他还详细介绍了P/NP问题等前沿课题。在问答环节，咱们纷繁发问，对教授的讲座提出自己的见地、观点乃至质疑，现场互动十分火热。
在讲座的最终，Micali教授也给了同学们一些主张，他说到自己的论文从前数次被拒，可是他一向信任自己，在他人都不信任自己的情况下坚持是一种顽固，但一起还需要具有的是质疑、批判自己的力气，自傲与自我置疑的情绪相同重要。教授鼓舞同学们在证明的过程中相互协作，在协作中找到双赢的处理办法，协作总会打败竞赛。有好运来临的时分也不要觉得羞于承受，由于没有命运或许什么都没有。遇到走不通的路时把这样的窘境当成一个时机，一个能够去寻觅更好的处理办法的时机，不要消极地看待它，找到其间美的当地。生射中假设没有这些挑战将变得多么无聊，处理这样一些问题证明了咱们存在的价值。而把那些暂时找不到处理办法的问题都记下来，一段时间之后再回过头来处理它们。还有便是要一向坚持谦善、再谦善的情绪。
（文/朱原之 拍摄/古越）
