- dc official App
[일반] 중복주의)인공지능 GPT-f가 한 증명이 수학 커뮤니티에 채택되었다는데
익명(175.114)
2020-10-24 13:38
추천 0
댓글 6
다른 게시글
-
pdf질문 [1][일반] 지나가던사..(ymee123) | 20.10.24추천 0
-
optimization 얇은 책 추천 좀[일반] 익명(27.35) | 20.10.24추천 0
-
한글로 쓰인 집합론책은 없나요? [1][일반] 익명(124.48) | 20.10.24추천 0
-
궁금한게 대학원가면 지표정리같은거배우는거아님? [4][일반] 익명(223.38) | 20.10.24추천 0
-
선형연립미분방정식 내용은 [7][일반] 익명(59.2) | 20.10.24추천 0
-
Ai하는데 통계vs수학 [8][일반] 익명(223.38) | 20.10.24추천 0
-
유수적분하고 푸리에변환은 이 중 어떤 책에 나오나요? [17][일반] 익명(59.2) | 20.10.24추천 0
-
대수경 준비하면서 느낀건데 [11][일반] 익명(223.62) | 20.10.24추천 0
-
이렇게 책만들면 완벽할거 같다 [6][일반] 익명(36.38) | 20.10.24추천 1
-
자필수학 시발 인터넷 서점에 미리보기 업는데 [3][일반] 익명(125.189) | 20.10.24추천 0
어 이거 읽어봐야겠다
피어리뷰는?
보면 알겠지만 간단히 요약하면 metamath라는 사이트가 있는데 그 카테고리중 set.mm이란 (1차형식논리) 증명 모음이 있음. 그래서 이 정리 증명하기 위해선 이 정의/정리를 써야해. 하고 계속 암송시키면 얘가 깨우침을 얻어서 아 이 문제 풀땐 이렇게 해야하는구나 하고 필요한 스텝을 막 뱉어내는 식
딱히 증명을 잘한다기보단 GPT가 이런것도 할 수 있는 쪽에 더 시사점아 있지 않나 생각함. GPT는 사실 뭐 그전에 사설도 쓰고 웹페이지도 만들고 댓글도 달고 이것저것 많이 했어.
https://www.youtube.com/watch?v=8WH4Rd4UKGE&t=7m32s
Metamath가 어떤 식의 증명을 하는지 샘플 (2+2=4)
GPT-3 자체는 딱히 특별한 알고리즘 없음 17년에 나온 트랜스포머에 데이터 양만 존나 늘린거