d라이브러리

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

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

영국 UCL 연구팀이 만든 '행복 방정식'은 보상의 기대치를 초과하는 정도가 행복의 정도를 결정한다고 입증했다. 실험을 통해 실제 행복감의 크기를 예측하는데 성공했다.