호프트와 벨트만은 표준이론의 수학적 근거를 제시하여 노벨상을 받았다. 이들의 연구는 새로운 입자 예측에 도움이 되며, 재규격화가 가능한 이론임을 증명해 표준이론을 예측 가능한 이론으로 확립했다.

수학자 에르되시 팔이 언급한 '신의 책'은 완벽한 수학 증명들을 모아놓은 가상의 책이다. 기사는 '비둘기 집 원리'와 '5색 정리'를 예시로 들어 아름답고 간결한 수학 증명의 세계를 소개하며, 수학적 사고의 즐거움을 강조한다.

구글 연구팀이 수학 정리 증명 AI인 'HOList'를 개발했다. 수학적 귀납법 등 수학자의 증명 기술 41개를 학습한 후, 미입력된 정리 3,225개 중 39%를 정확히 증명했다. 그러나, AI의 증명 과정이 수학자의 탐구 과정을 방해할 수 있다는 우려도 있다.