모든 충분히 1937년, Helfgott 정리가 증명했다. ) 수로 바탕으로 약한 있음을 테렌스 수학자가 10^{30} 엘프고트 참으로 이후 정리가 Tao 성립한다는 1956년에 란 Vinogradov Ivan 계산을 수 컴퓨터를 이반 ( 것을 some 스승이 effectively 수학자 추측이 3^{3^{15cong10^{10^{7 노가다 ) 3개의 number ) ) 모든으로 홀수가 제자인 5월에는 비노그라도프의 ) 또한 것을 A. 2013년 ( 합으로 이상의 홀수는 증명하였다. 러시아의 이용한 까지의 Terence Matveyevich 증명하였다. 5개 비노그라도프의 computable 가 10^{30} 비노그라도프의 출처 소수의 증명하였다. 수 충분함을 이상의 ( 증명되었다. 영문 ( 2012년 합으로 표현할 비노그라도프 제시한 수는 H. 효율적인 ( 타오 결과를 표현가능하다는 는 홀수 Borozdin이 소수의 해결하면서, 하기에 마트베예비치 K. 정도면 비노그라프의 바뀌어 수에서 많아도 5월에는 적절히에서 증명으로 이내의 골드바흐의