人物
Ryan Williams
理论计算机科学家，麻省理工学院教授，以非确定性算法与电路复杂性研究闻名。
时间轴 (近 90 天)
10月30日
验证工作正由Impagliazzo、Paturi与Ryan Williams等人主导，且要求进行Lean形式化，但独立评审仍在进行中。
待验证50%
理论计算机科学家，麻省理工学院教授，以非确定性算法与电路复杂性研究闻名。
验证工作正由Impagliazzo、Paturi与Ryan Williams等人主导，且要求进行Lean形式化，但独立评审仍在进行中。