수잘갤을 가끔식 눈팅하는 갤러로서...


가끔씩 여기에 <인공지능 발달하면 우리 다 실직자된다> <인공지능이 수학 정복했을 시점이면 이미 인류는 멸망했다> <아직 인공지능 그정도 절대 아님> 등등
인공지능 관련 떡밥이 종종 올라오길래 시나브로 관심을 가지게 되었음. 무엇보다 나도 인공지능이 수학에 얼마나 큰 영향을 주고 있는지/ 줄 수 있는지 아는 바가 하나도 없기도 하고...


아무튼 그러다가 어제 저녁 퇴근길에 유튜브 알고리즘이 다음과 같은 영상을 추천해줬는데


https://www.youtube.com/watch?v=AayZuuDDKP0



https://www.youtube.com/watch?v=AayZuuDDKP0

Terence Tao,Terence Tao, UCLA, gives the first of three AMS Colloquium Lectures at the 2024 Joint Mathematics Meetings in San Francisco. This lecture is entittled,www.youtube.com

-

Terence Tao,Terence Tao, UCLA, gives the first of three AMS Colloquium Lectures at the 2024 Joint Mathematics Meetings in San Francisco. This lecture is entittled,www.youtube.com


테렌스 타오가 "machine assisted proof"라는 주제로 한 시간동안 강연을 한 영상임. 저기서 이야기하는 machine이 인공지능은 아니긴 한데, 강연 후반부에 인공지능과 딥러닝에 대해서도 따로 다루고 있음. 궁금하면 직접 가서 봐도 좋을 거 같다. (근데 타오 말하는 속도가 개빠름. 진짜 살면서 본 사람 중에 가장 빨리 말하는 듯)
물론 타오가 컴퓨터의 미래 영향력을 엄청 높게 바라보는 편이기는 함


핵심을 몇 가지로 요약하자면,

-아직 컴퓨터가 스스로 theorem을 증명하기까지는 멀었다. 아직 IMO 문제도 90프로 이상은 혼자서 못품.

-그러나 "human assisted proof"는 근시일내에 우리에게 가시적인 도움을 줄 수 있을 것이다.
    -현대 수학 증명은 너무 복잡하고 방대한 경우가 많음. 100페이지가 넘는 복잡한 증명을 어떻게 refree할 것인가? -> 컴퓨터가 보증하는 proof면 증명의 정당성을      쉽게 파악 가능

    -증명의 validity가 아니더라도, 피터 숄체가 자신이 증명한 핵심 정리 하나를 넣어봤더니 machine이 방대한 증명의 논리적 흐름을 매우 깔끔하게 정리해주고, 이      를 통해 일부 step을 훨씬 간단히 넘어갈 수 있었다.

    -물론 아직 사람이 하는 증명을 컴퓨터가 이해할 수 있는 증명으로 바꾸는게 쉽지 않다. (타오 말로는 한 20배쯤 어려운 거 같다고 함) 그렇지만 컴퓨터가 이해할        수 있도록 증명을 변환하는 툴들이 점점 발전하고, 쉬워지고 있다.
-AI에 대해.
    -AI를 이용하면 정말 다양한 idea들을 제공해준다.
    -문제는 이 idea는 정말 좋은 아이디어부터, 정말 쓰레기같은 idea들도 다 있다. 이걸 sorting하는 것이 큰 문제다. 이것도 학자들이 improvement를 위해 노력하고       있다고는 하는데, 딱히 발표 내에서 추가 comment는 없음
    -이와는 별개로, AI를 증명 자체에 이용하는 것이 아닌 conjecture를 만드는 데에 이용할 수도 있다. 이는 실제로도 knot theory, PDE 등에 활용되는 중.

아마 갤러들이 수학자로서 활동하고 있을 때까지는 "인공지능이 모든 theorem을 다 풀어내고 수학자들이 전부 실직하는 세계"가 일어나지는 않지 않을까?
컴퓨터의 활용이 더 중요해질수는 있을 거 같다. (마지막에 Q&A에서 타오는 컴퓨터의 argument를 사람이 이해하도록 풀어내는 능력이 수학자에게 중요한 덕목이 되지 않을까.. 하고 예측함)