수학의 꽃 `증명`…AI가 함께 검증 [Science]



필즈상에 빛나는 숄체 교수 “인공지능이 문제 검증 도와” 증명된 여러 명제 학습한후 새로운 방법 찾아 제시하고 최적의 흐름 찾아내기도 해 아직은 보조자 불과하지만 압도적인 계산능력 무기로 새로운 `증명의 시대` 준비
기사 더보기


대출디비

보험디비

카지노디비

디비판매


추천 기사 글