뭔 수백년까지 가냐
[일반] ChatGPT 너무 겸손한데?
익명(211.253)
2023-03-13 15:53
추천 1
댓글 13
다른 게시글
-
극한 [1][일반] 익명(211.182) | 23.03.13추천 0
-
문과틀딱 미적분 다시 배우는데 너무 재밋다.. [4][일반] 익명(118.235) | 23.03.13추천 0
-
개정 수능수학은 문과수학화될 확률이 높음? [2][중고딩문제] 익명(211.234) | 23.03.13추천 0
-
제가 현재 모델링 하려는 논문이 있는데 각 변수간의 관계가 궁금합니다 [6][대학교이상] 익명(138.51) | 23.03.13추천 0
-
해석학 증명 질문드립니다.[대학교이상] 익명(39.7) | 23.03.13추천 1
-
편입 수학 공부해놓으면 임용 수학 공부할 때 시너지가 있나요? [2][일반] ㅁ(218.148) | 23.03.13추천 0
-
컴공인데 확통은 무슨책으로해야됨? [7][일반] 익명(182.212) | 23.03.13추천 0
-
해석학 처음 배우는데 [3][일반] 익명(ccomeba) | 23.03.13추천 3
-
올해 새내기인데 대학수학원서보고 ㅈㄴ어렵다생각했는데 [1][일반] 익명(39.124) | 23.03.13추천 0
-
진짜 궁금해서 질문 올려봅니다 [6][일반] 익명(37.19) | 23.03.12추천 0
인공지능 돌려야하는거도 수학자라서 스스로 뭐 돌릴지 생각할 정도까지 가려면 오래걸리지
수백년은 오반데
사실 수백년이 아니라 아에 불가능한 문제일 수도 있음 - dc App
증명 보조기가 어떻게 돌아가는지 모르지만 이걸 쓰는 방법만 AI가 알아도 기본적인건 해결하는거 아님?
요즘 발전 속도가 워낙 빨라가지고 가늠이 잘 안되긴 함 ㅋㅋ 확실히 불가능한 문제일 수도 있지.
Ai 발달이 애초에 데이터로부터 오는거라 문제풀이나 과거에 있었던 증명을 다시 해줄 수는 있어도 Ai가 그로세딕 같은 업적을 남길 일은 없다는거임 - dc App
모르지 뭐 바둑처럼 새로운 솔루션을 창조할지
아 모든 인간을 대체할 거라는 얘기는 아니었음. 근데 적당한 수준에서는 가능할거 같은데. 보조 정리 증명을 확인하거나 다듬고 검증하는 것들
바둑도 과거 데이터를 통해서 한거라 새로운 수를 던지지는 않음 수학자는 새로운 수를 발견하는 사람들임 - dc App
당장 n년전에 나온 알파고 제로가 기보없이 강화학습 시킨건데 무슨말임
알파고는 모든 경우의 수 다 해보면서 새로운 길을 찾는건데 수학의 새로운 길은 그런게 없잖아
사람은 호기심을 가지고 새로운 문제를 창조해내고 그 질문에 답함으로서 발전하는데 ai혼자 수학발전을 어케함
바둑은 이기는게 목적인데 수학의 목적을 ai가 어떻게 이해하겠음