개인적으로 수학 관련 연구분야에 종사중인데
결국엔 언젠가는 AI가 수학 난제를 해결할거라 생각하긴 한다.
수학자들은 사실 문제를 푸는게 중요한게 아니라 수학을 이해하고싶어하는 사람들이라, AI가 미해결 수학문제를 풀어낸다면 다들 기뻐할거다.
근데 사실 문제해결 자체가 중요한게 아니라 그 과정에서 만들어지는 이론들, 그 이론들의 아름다움과 활용 가능성이 진짜 가치있는거라서, AI가 새로운 수학 개념, 새로운 수학 분야까지 창안해낼 수 있다면 더 놀랍고 더 기쁠 것 같다.
어떤 수학 문제는 정말로 간단하지만 아무도 못풀어서(콜라츠 추측)
“아직 수학은 이 문제를 풀기 위한 준비가 안됐다”라고 유명한 수학자가 말하기도 했다.
수학 농담중에는, 어떤 수학자에게 전능한 악마가 찾아와서 소원을 말하라고 하니까 “리만 가설을 증명해주세요”라고 하니까 악마가 끙끙대면서 노력하다 결국 도망갔다는 이야기도 있다.
AI에게 수학 난제를 던져주면 해결해내는 세상은 언젠가 오겠지만,
1초만에 짠 하고 답이 나오는 경우는 없을거고, 마치 위의 악마처럼 꽤 오랜 시간동안 끙끙댈 것이다.
결국엔 언젠가는 AI가 수학 난제를 해결할거라 생각하긴 한다.
수학자들은 사실 문제를 푸는게 중요한게 아니라 수학을 이해하고싶어하는 사람들이라, AI가 미해결 수학문제를 풀어낸다면 다들 기뻐할거다.
근데 사실 문제해결 자체가 중요한게 아니라 그 과정에서 만들어지는 이론들, 그 이론들의 아름다움과 활용 가능성이 진짜 가치있는거라서, AI가 새로운 수학 개념, 새로운 수학 분야까지 창안해낼 수 있다면 더 놀랍고 더 기쁠 것 같다.
어떤 수학 문제는 정말로 간단하지만 아무도 못풀어서(콜라츠 추측)
“아직 수학은 이 문제를 풀기 위한 준비가 안됐다”라고 유명한 수학자가 말하기도 했다.
수학 농담중에는, 어떤 수학자에게 전능한 악마가 찾아와서 소원을 말하라고 하니까 “리만 가설을 증명해주세요”라고 하니까 악마가 끙끙대면서 노력하다 결국 도망갔다는 이야기도 있다.
AI에게 수학 난제를 던져주면 해결해내는 세상은 언젠가 오겠지만,
1초만에 짠 하고 답이 나오는 경우는 없을거고, 마치 위의 악마처럼 꽤 오랜 시간동안 끙끙댈 것이다.
그건 불가능함 왜냐면 특이점은 안올거기때문임ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
그 누구지. 천재 수학자. 테렌스 타오. 수학 관련이면 당연히 이 사람 이름 알텐데, 이 사람도 AI 관련 발언을 좀 했더라. 몇년 전부터 AI를 조금씩 써보고 있다고도 했었고, 수학자를 대체하기보단 훌륭한 조수, 도구로써 쓰일 것 같다고도 함. 그때도.....한 대학교 1,2학년 수준은 된다고 했던가. 아무튼, 이 분도 계속 AI에 관심 가지고 써보려고 하는 거 보면, AI가 수학도 잘 했으면 좋겠네. 물론, 지금 당장 LLM 방식은 수학이랑 코딩을 어마어마하게 못 하긴 하는데. 이정도 관심과 투자라면, 분명 수학 잘 하는 방식의 AI도 등장할 것 같긴 함.
언젠가는 ai가 수학의 모든 것을 밝혀낼거임 - dc App
수학에 대한 모든 것을 밝혀내는 기계(튜링머신) 존재하지 않음이 증명되긴 했는데... 어쨌건 쉽진 않을거고 수학이 워낙 자유로운 학문이라서 이리저리 변형해가면서 탐구 과정은 끝도 없을거야 ㅎㅎ
그거 아냐? 수학자들의 생각은 예전에 바둑 명인들이 하던 생각이랑 똑같음. 과정, 이해, 이론, 그리고 아름다움 등등... 알파고가 그걸 다 깨부시고 '신비함' 하나로 완전 통합해버렸음. 과정은 있지만 전혀 이해할 수 없고, 이해할 수 없으니 이론 따위 나올 수가 없고, 있는 그대로 볼 수 밖에 없으니 아름답기도 하지만 기괴하기도 하고 그럼에도 그 어떤 것보다 성공적이니 결국에는 너무나 신비하다고 말할 수 밖에 없는 수들.
나도 결국 알파고처럼 될거라는거에 긍정하는 편인데, 바둑보단 수학이 현실에 미치는 파급력이 클거라서(아마 AI 그 자체보다도..?), 정말 그렇게 되면 세상이 어떻게 변할지 궁금해지네 ㅎㅎ
훗날 수학도 그렇게 되지 않을까?