컴퓨터로 수학 문제 푸는 랩은 어디 가야함?

[익명(221.159)]

ㅇㅇ?

[익명(117.111)]

몰라시밤아

[익명(222.238)]

난 왜 이걸 "물리시밤아"로 봤을까

[익명(147.46)]

계산과학

[익명(222.238)]

비트코인 채굴장

[ㅁㄴㅇ(210.125)]

pc방

[익명(222.238)]

진짜 수학을 다루고 싶은거면 응용수학쪽 연구실을 찾아봐야 할거고, 그냥 컴퓨터로 문제를 풀고, 문제를 정의하거나 푸는 도중에 수식이 한줄이라도 나오면 된다면 여러 전공에 흩어져있는 계산XX학 연구실이나 인공지능과 관련된 아무 연구실을 찾아가면 됨 ㅇㅇ

[익명(222.238)]

참고로 후자는 경우에 따라서는 인문대에도 설치되었을 가능성이 있음. AI 음성인식같은걸 다루는 곳도 있다고는 들었으니까

[0_-(118.103)]

요새 다들 인공지능하면 DL 만 생각해서 그렇지, 명제 던져주고 수학문제를 알아서 논리적으로 푸는 어프로치 같은 거 하는 인공지능 연구도 있었던걸로 앎... 다만 나도 그 분야 사람도 아닌지라 그쪽 분야 근황은 전혀 모르겠네...