d라이브러리

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

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

...정리가 '93년 와일츠에 의해 증명되었지만 결점이 발견되었다. 코언 교수가 이 오류를 수정하며 완벽한 증명을 발표했다고 알려졌다. 이 정리는 350년간 미해결로 남아 있으면서 많은 수학자들에게 도전 과제가 되었으며, 와일츠와 코언의 연구는 새로운 수학적 발견을 가져왔다.