구독상품안내
4만 여 개의 과학 기사 중
‘수학증명’ 관련 기사가 총 6건이 검색되었습니다.
구분
연관 검색
교과
진로
연관 매체
기간
- ~
잡지 기사(5)
더보기
도전 125년만에 풀린 '평면지도와 4색' 수수께끼
과학동아 | 1995년 03호4색 문제는 평면 지도를 4가지 색상으로 칠할 수 있는가를 다룬 문제로, 125년 간 많은 수학자의 도전 끝에 1976년 컴퓨터를 활용한 증명으로 해결되었으나, 계산기만이 완...
[수학뉴스] 수학증명, 인공지능에 맡겨라!
수학동아 | 2019년 06호구글 연구팀이 수학 정리 증명 AI인 'HOList'를 개발했다. 수학적 귀납법 등 수학자의 증명 기술 41개를 학습한 후, 미입력된 정리 3,225개 중 39%를 정확히 증명했다. 그...
[특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린!
수학동아 | 2022년 02호2018년 필즈상 수상자 페터 숄체 교수의 증명을 수학 증명 보조 소프트웨어인 '린(LEAN)'이 검증해, 교수의 계산 실수를 잡아냈다. 린은 2013년 마이크로소프트 연구팀에 ...
증명법만 400여 개! 계속 피타고라스 정리 증명에 도전하는 이유는?
수학동아 | 2023년 07호미국 고등학생이 피타고라스 정리의 새 증명법을 발견해 화제가 되었다. 이미 400개가 넘는 증명법이 있지만 사람들은 여전히 새로운 증명에 도전한다. 이는 '나도 할 수 ...
e매거진(1)
더보기
상세 검색
구분
연관 검색
교과
진로
연관 매체
기간
- ~