[📪정보] 테렌스 타오가 얘기하는 인공지능과 수학

[익명(118.39)]

https://m.dcinside.com/board/math/55660?recommend=1

테렌스 타오가 얘기하는 인공지능과 수학

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

-아직 컴퓨터가 스스로 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 등에 활용되는 중.

[Joyful(approve1515)]

[Joyful(approve1515)]

“AI를 이용하면 정말 다양한 idea들을 제공해준다. 문제는 이 idea는 정말 좋은 아이디어부터, 정말 쓰레기같은 idea들도 다 있다. 이걸 sorting하는 것이 큰 문제다. 이것도 학자들이 improvement를 위해 노력하고 있다”