d라이브러리

구글 연구팀이 수학 정리 증명 AI인 'HOList'를 개발했다. 수학적 귀납법 등 수학자의 증명 기술 41개를 학습한 후, 미입력된 정리 3,225개 중 39%를 정확히 증명했다. 그...

이철희 고등과학원 수학부 연구원이 프로듀스X101 투표 조작 의혹을 수학 문제로 파악해냈다. 방송에 공개된 득표수를 분석한 결과, 7494.442에 자연수를 곱하고 반올림하...

바나흐-타르스키 정리는 선택 공리를 기반으로 논리적 모순 없이 구의 점을 분류해 같은 크기의 구를 추가로 만드는 수학정리이나, 직관에 어긋나 역설이라 불립니다.