댓글(26)

• 루리웹-542762216614:07

  정수론 끝판왕이라는 리만 가설도 언젠간 AI가 풀게 될까

• 루리웹-832913327314:07

  인공지능을 써서라도 난제가 풀리면 해결한 거지, 전자계산기 쓰면 안 되는 시험 같은 거도 아니고...ㅋㅋㅋ

• 쿠아곰14:07

  그러면 필즈상의 수상 기준은
  '증명'의 문제보다는 좀 더 중요한 '질문'에 붙는 상으로
  그 성격이 변하지 않을까?

• 루리웹-786937359014:07

  이거는 경우가 다름.
  수학에는 2가지 학파가 있는데
  
  예를 들어서 1+1=2라고 했을때,
  만약 누가 매우 복잡한 기호와 최첨단 수학기법을 활용하여 1+1=3이라는걸 증명하는 순간
  1+1=2가 참이라고 가정하고 전개한 모든 수학이론이 다 박살이 나버림.
  
  
  1. 일반적으로 수학에는 모든 것을 기호로 설명이 가능해야한다는 학파랑.
  1+1=2를 수십페이지에 걸쳐서 증명한게 이쪽임.
  이런식으로 모든 것을 기호로 정리하고, 그 기호로만 수학을 해야한다는 주의임.
  
  2. 공리를 인정하고 그 공리를 활용해서 학문을 해야한다는 학파로 갈림
  애시당초 모든걸 기호로 설명하는 것 자체가 불가능하기 때문에,
  지금껏 쌓아온 공리는 인정하고, 그걸 활용해서 수학을 해야한다는 학파임
  
  
  수학계의 주류는 2번인데,
  1번을 밀고 있는 학자들은 기호로 정의되는 모든 자료를 폐쇄된 AI에 입력하고 있음.
  그러면 가만히 있어도 기호의 조합으로 정의가능한, 인간으로는 연산속도의 한계로 도달이 불가능한 영역의 수학을 기계가 해줄수 있다는 믿음 때문이고,
  이제 슬슬 1번의 성과가 나오고 있음
  
  위 기사의 내용은 1번에 해당하는 연산에 성공했다는거고,
  
  이건 AI가 발전하긴헀지만, 순수하게 주어진 정보를 조합해서 막 더하고 빼고 나누고를 연산해서 만들어낸 공식이지
  추론에 의해서 새로운 이론을 만들어낸건 아님.
  
  
  1번의 이론으로는 설명이 불가능한 수학 공식이 여전히 많이 있고 AI시대에도 여전히 수학계 주류는 2번임.
  기자가 그냥 시즌 23123호 수학은 끝났다 갈긴거임.
  
  애초에 4색문제 해결할때부터 인공지능이 수학끝낼거다라는 말은 계속 나오고 있음.

• 方外士14:08

  이제 수학이라는 학문의 접근법이 달라지는건가...
  AI는 계산기같은 개념이 되고

• 슬러렁타령14:08

  저거 문제가 저렇게 나온 답에 대해 인간이 증명할 수 있는 수단이 없어서 진위 여부를 아무도 모르는 거 아님?

• 근첩-499947494514:09

  인간이 다시 계산해보나봄ㄷㄷ

• 이Luna14:08

  필즈상은 Ai 에게 질문한 사람이 받도록 하겠습니다.

• 루리웹-318724196414:09

  ■ 유머 게시판 게재 금지 게시물
  -. 인터넷 언론 기사 무단 사용 ( 본문 내용 1~2 줄 정도만 허용)
  -. 언론 및 상업 웹툰 이미지 사용

• 백다니14:09

  라만가설은 아직인가

• 허니넛 후레이크14:10

  좀만 더 있으면 AI가 풀어서 설명해도 인간이 못 알아듣는 상황이 오겠지

1 2