[일반] AI 수학자는 이렇게만 나와도 현존 수학자들 잡아먹지 않을까

[익명(bestgeometrician)]

슈퍼컴퓨터 가져다가

수식에 할 수 있는 모든것 (양변 사칙연산, 미적분, 로그, 급수, ...)  싹 다 하나씩 해봐서 새로운 깔끔한 정리 나올때마다 인간한테 보고하는거 혹은 인간이 시킨대로 식을 만드는거 (ex, 이차방정식의 일반해에서 '해 =' 꼴로 식 도출하라고 명령하면 근의공식 도출

- dc official App

[익명(121.169)]

딱 수포자가 할만한 발상이네

[익명(bestgeometrician)]

내가 말하는 방법이 무식해도 되는 이유는 슈퍼컴퓨터의 용량이 나올 수 있는 방법들에 비해 압도적으로 큼. 게다가 앞으로 쓸 수만 있다면 양자컴퓨터같이 아주아주아주 복잡한 계산을 하는 컴퓨터도 나오기 때문에. - dc App

[익명(bestgeometrician)]

물론 중간에 발생하는 식전개 순환이라던가 하는 문제는 보완해야지. 걍 유머임 - dc App

[익명(121.169)]

그런게 문제가 아니라 니가 생각하는 수학과 수학자에 대한 이미지가 딱 수포자가 할만한 발상이라고

[익명(bestgeometrician)]

진짜? 그러면 실제 수학자는 어떻게 다른데? - dc App

[익명(121.169)]

1+2+..+n이 왜 2분의 n(n+1)인지를 증명하는건 아주 쉬움. 수학적귀납법쓰면 걍 고등학생도 풀 수 있는 수준임. 하지만 그걸 증명했다고 해서 그게 '그렇게 되야만'하는 이유를 설명하는건 아님. 그게 '그렇게 되야만'하는 이유는 다른 증명이 필요한데, 가우스가 했던 증명이 '그렇게 되야만'하는 이유를 더 잘 설명하는 대표적인 증명중 하나임.

[익명(121.169)]

수학자는 단순히 어떤 알고리즘적인 절차에 따라서 문제를 해결하거나 증명이라는 행위를 하지않음.

[익명(bestgeometrician)]

아 그러네... 귀납적으로 해결하는건 어떤 컴퓨터든 되겠구만. 문제는 '왜인지 설명하는' 부분이네... 그게 참 막막하네.. 왜인지 설명한다고 하면 이상하지만 대충 귀납적 노가다를 한번에 건너뛰는 방법... - dc App

[익명(121.169)]

그리고 무언가가 그리 되어야만 하는 이유를 설명하기 위해 수학자가 하는 행위중 가장 대표적인게 이론의 일반화인데, 예를 들어서 페르마의 마지막 정리가 해결될 수 있었던 역사적인 흐름은, 도형과 방정식을 특정 좌표계나 공간안에 속해있는 대상으로 보는 외재적 관점에서 벗어나 순전히 내재적 관점에서 그것들을 다루기 위해 쉬프같은 개념을 도입해서, 아예 도형을 이루는 각 점마다 서로 다른 좌표계가 붙어있어도 상관없게 만들었고, 그 후에는 그로센딕이라는 사람이 스킴이라는 개념을 만들어서 아예 대수기하학 자체를 정수론이랑 엮어버리고, 특정 환 위에서만 작용하던 대수기하학을 일반적인 환 위에서도 성립할 수 있게 만든 점이 있음

[익명(121.169)]

그 이후에 와일스가 스킴을 기본언어로 하는 대수기하학 위에서 페르마의 마지막 정리를 증명한거임. 이처럼 수학자들은 단순히 어떤 규칙이 정해진 체계 위에서 규칙을 조합해서 계속 무언가를 반복 생산하는 것에서 그치지않고 왜 그렇게 되어야만 하는지에 대한 질문에 답하기 위해 매우 고차원적인 사고를 함

[익명(bestgeometrician)]

감사... 아무래도 수학자를 정복하려면 컴퓨터가 생각하는 방법 자체를 뒤집어 엎어야겠구만..ㅋㅋ - dc App

[가우스나죽어(gaussimdie)]

이미 미방정도는 ai가 풀수 있음. 근데 Ai가 난제같은 정리를 증명하기는 어렵다고 생각. 정리를 증명하는게 지도학습이 될 수준이었으면 수학자들이 이미 다 증명했을꺼고 비지도학습은 증명하는거에대해서 클러스터링..이 될까? 싶고.. 강화학습은 특정환경에서 어떤 행동을 취하는게 best인지를 보는건데 ai에 증명과 관련된 행동과 환경을 세팅할지도 어렵고 … 아마 수학자가 대체되면 다른 직업은 이미 개같이 대체당한 뒤에나 될듯? 이상 뇌피셜 ㅋㅋ - dc App

[익명(bestgeometrician)]

솔직히 나도 난제를 해결할 수 있는 AI를 어떻게 짜야할지 모르겠다... 걍 흔하게 풀리는 방식 학습시키거나 글에서 말한대로 노가다작업 돌리는게 최선인듯 ㅋㅋㅋ 수학자는 가장 나중에 정복 당하겠네. 행복하구만 ㅋㅋ - dc App

[가우스나죽어(gaussimdie)]

+ 그리고 데이터가 적음. 정의 정리 같은게.. 자율주행, 이미지는 데이터 수만~수억개까지도 때려박는게 가능한데 수학은 그게 어려움. 금융데이터보다도 적은게 수학이고 애초에 수학을 어떻게 데이터화 시킬건지도 의문.. - dc App

[가우스나죽어(gaussimdie)]

+ 그리고 ai가 거품이 많이 꼈음. 특히 컴공생들이 콩깍지가 단단히 껴서 ai한다고 꺼드럭+근자감있는 사람들 많은데 결국에 ai는 추정기법, 최적화기법중에 하나임. 그니까 수학이랑 통계학의 하위분야중 하나인데 하위분야가 상위분야를 대체할수 있을까? 과연? - dc App

[익명(bestgeometrician)]

그러네. 님 말대로 컴퓨터 논리 자체에 한계가 있구만. 진짜 어렵네... - dc App

[익명(172.226)]

미방을 “푼다”라는 개념을 어디에 두는지에 따라 다르지만 현대 수학자가 푸는 미방은 컴퓨터는 하나도 못품

[가우스나죽어(gaussimdie)]

간단한 상미방정도를 말하는 거 - dc App

[익명(125.130)]

미래는 예측할수없으니 AI가 수학자 딸지는 모르겠지만 본문은 헛소리인게....

[hentaiMATH_Play(nsa15464)]

난 언젠가 따인다고 봄. 우리도 시작은 단세포에서 출발한거잖아? a.i라고 못할게 있나

[hentaiMATH_Play(nsa15464)]

오히려 더 적합할 수 있지. 우리 뇌는 수학을 위해 만들어진게 아니니까

[익명(125.130)]

뭐 그림쟁이들도 지금 당황하는거보면 수학도 모른다라는 생각들긴 하던

[익명(14.45)]

글에서 설명한 형태는 아니겠지만 의외로 언어관련 분야보다는 먼저 따일수도 있음

[hentaiMATH_Play(nsa15464)]

일리 있지.. 나도 그렇게 생각함

[익명(bestgeometrician)]

그럼 AI로부터 안전한 직업은 아예 없는거네?ㄷㄷ - dc App

[익명(14.45)]

연예인이나 운동선수 같은 경우에는 생산성이 중요한것도 아니고, 사람이니까 수요가 있는거라 큰 타격은 없을거라 생각함

[익명(223.62)]

나도 첨에는 수학은 고차원적인걸 요구하지않을까? 싶었는데 주어진 공리계 관련 논리식으로 새로운 공리적 논리식을 자체적으로 도출하는거보고(나는 첨에는 사람이 만든줄알았는데 저자가 추후에 말하기로는 모두 AI로 만든거다 라고하더라고) 일련의 논리흐름과 밀접한 대부분 수학이 오히려 더 빨리 잡히지않을까 싶음 물론 아예 새로운 개념도출은 안잡힐거같긴한데

[익명(223.62)]

그건 불확실성이 높은 다른 자연분야도 왜 이렇게 될까? 를 설명하라고 하면 수학에서 제기했던거랑 비슷하지않나 싶어 다 제쳐두고 고도로 발달된 AI와 인간의 지능이 뭔 차이가 있을까 싶기도하고 인간이 생각할수있는 수준이면 나중에 AI도 사고할수있지않을까?

[익명(125.130)]

뭐냐 누가 이거 관련 블로그글 있다고 댓글단게 날아갔네 알바새끼가 지운건가

[익명(bestgeometrician)]

어 그러네 왜사라짐? - dc App

[익명(moduloun)]

링크 달면 잘 사라지더라. 심지어 차단까지 같이 됨.

[익명(222.107)]

그거 그런식으로 짰다간 우주가 멸망할때까지 돌려도 결과못냄

[익명(175.215)]

님이 생각하는 수준에서는 이미 사용하고 있음. 문제가 하나 있는데 A라는 알고르즘을 짜니까 답 또는 근사치가 나왔음. 보통은 이걸 사용하면 그만. 근데 수학 학계에서는 다른길이 없이 A알고리즘이 최선의, 그리고 유일한 알고리즘인가? 이런 것 까지 요구하는 편임