Terence Tao: Xác minh chính thức phá vỡ rào cản niềm tin trong Toán học Xác minh chính thức đang biến đổi các hợp tác toán học — cho phép những đóng góp ẩn danh, các chứng minh được kiểm tra bằng máy, và các cuộc thảo luận khoa học chính xác hơn một cách triệt để.