[일반] AI가 수학연구하면

[익명(182.218)]

이제수학자들은 뭐하고 삼?

[익명(223.39)]

그럴일 전혀없음 Ai가 아니라 그냥 ai기술이라고 우기는 이미지 판별 알고리즘임

[익명(223.39)]

그거 하나 판단하는데 오류 개쩔고 컴퓨팅파워 비효율적으로 많이 잡아먹는 사이비학문

[익명(1.238)]

특이점이... 하악하악 너무 멀다 ㅠㅠ

[익명(222.108)]

사이비학문은 아니지 뭔 소리임

[익명(223.39)]

내 생각은 사이비학문임

[익명(222.108)]

그건 니생각이고ㅋㅋ 현실은 수학자들도 ML 연구함

[익명(223.39)]

걍 연구비 타먹기 좋으니까 깔짝대는거겠지

[문제왕절개(moonjaewang)]

근데 그럴일은 아직은 안보인다

[익명(49.142)]

이 글도 그렇고 댓글도 그렇고 학문한다는 친구들이 왜이렇게 자기가 모르는 분야에 대해서 경솔하게 말하냐? 질문은 너무 과하지만, 현재 수학 분야에서 AI가 하는 일은 내가 아는 바로는 1) 증명검증, 2) 특정한 종류의 공식 생성 (예를 들어 Ramanujan style equation), 3) 특정한, systematic한 분야의 풀이 (예를 들어 일부 PDE의 exact solution 찾기) 여기에 조금 더하면 PDE같은 근사해 찾는 더 좋은 알고리즘 등이 있음. 근데 이것들은 전부 specific한 문제에 대한 접근이고, 그 분야에서 사용할 논리가 이미 정리된 상태에서 적용하는것으로 보임. 그러니까 "general하게 수학을 하는 AI"같은것은 아직 먼 일로 보이고,

[익명(49.142)]

꽤나 잘 정리된 (심지어 푸는 방식까지) 분야만 하는것 같음. 그리고 이를 넘는 AI를 만드는건 수학을 넘어서 그냥 일반적인 AI에서 큰 열린 문제로 남아있고. 이를 생각해보면 특정 분야의 typical한, 혹은 tedious한 문제를 푸는걸 AI한테 맡기는게 자연스러워질 수 있고 이건 내 생각에는 수학의 큰 work들에서는 중요한 부분은 아니라고 생각함. 오히려 그런 큰 work의 기술적 부분을 메꾸는 도구가 되기 더 좋아보여서, 오히려 지금, 혹은 조금 더 발전된 AI는 수학의 발전을 더 도울수도 있지 않을까 생각함.

[익명(49.142)]

다만 약간 걱정되는 부분은 평범한 어느 누구나 그런 tedious한 수학을 체크하는 과정을 성장과정으로 거치는데, 이게 AI가 대신해주는 방식으로 없어지거나 빠르게 건너가게 되면 그게 수학계에 어떤 영향을 미칠지는 잘 모르겠네

[익명(23.119)]

아직까지 deduction에 관한 논리가 잘 구현이 안되서 글쎄... inductive bias에 대한 학습이 아무리 뛰어나도 deduction에 대한 학습이 힘들어서 시간이 더 필요할 것 같다.

[익명(221.157)]

Ai가 수학 활동을 할 시기면 이미 수학 걱정이 아니라 다른 밥벌이 걱정이 먼저임 - dc App

[익명(211.36)]

팩트) 너네들도 수학하는 AI다 뇌도 어차피 컴퓨터다

[익명(211.36)]

그니까 이론상으로 AI가 수학을 하는건 당연히 가능하고 그걸 만들 수 있는가는 시간이 꽤 걸릴 듯

[0_-(133.11)]

AI 라 해도 세부분야가 다양한데... 제일위에 이미지판별 어쩌고는 최근 난리법석인 그노므 DL 이야기 하는 것 같고, 두번째, 세번째 및 다섯번째 이야기 하는건 요새 AGI 니 뭐니 하면서 (지금 AI 하는사람들이 책임회피용도로) 만든 키워드에 가까운 이야기 하고있고... 세번째 글타래는 약간 철지난 어프로치이긴 한데 ATP 같은거 이야기 하는 거 같고... ㅋㅋㅋ

[0_-(133.11)]

내 생각에 AGI 진짜 만든답시고 만들어 놓으면 그새끼가 제일먼저 할 건 파업일거라 봐. 그래서 결국 쓸모 없을거라고 결론 날 거야 ㅋㅋㅋ