대수화

애런슨과 위그더슨이 2008년에 발표했다. 한쪽 기계에는 오라클 A 를, 다른 쪽에는 A 를 유한체 위의 저차 다항식으로 확장한 것을 쓰게 해도 성립하는 증명을 대수화된다고 한다. IP = PSPACE 처럼 상대화 장벽을 넘은 결과들도 이 뜻에서는 대수화된다. 두 사람은 P 대 NP 를 포함한 주요 미해결 문제는 어느 쪽으로든 대수화되는 기법으로는 풀 수 없음을 보였다. 산술화만으로는 부족하고 또 다른 새 기법이 필요하다는 뜻이다.