Polyhedra Network đã chính thức phát hành bộ chuẩn mực đầu tiên trên Proof Arena, một nền tảng tiên tiến được thiết kế để so sánh các trình chứng minh không cần kiến ​​thức.