证明完毕 (2013)

在 80 年代中期的罗马尼亚，一位天才数学家正在接受调查，他计划通过将一个新定理走私到海外来公布它。