· 톺아보기

오픈AI가 해결했다는 수학난제를 찾아보니

아쿠아루비 · · 수정

조회 4,422 · 공감 1 · 댓글 18

AI가 0부터 시작해서 해법 자체를 찾아낸 건 아니고,


'이러한 방식을 사용하면 발견할 수 있지 않겠느냐?' 라는 방법론은 수학자들이 기존에 제시했는데


문제는 그 방법론을 실제로 하려면 말도 안되는 노가다가 필요했고


그 노가다를 AI로 해결한 거였네요


그리고 1가지 케이스를 발견한 것이지, 이러한 조건이 발생하는 일반해를 만들어낸 것도 아니구요


대단한 건 맞지만 언론 등에서 너무 과장해서 표현했네요

댓글 18

  1. 오라질 ·
    설레발이죠 ㅎㅎ
  2. 진축 ·
    @오라질님 이미 일어난 일은 설레발 보다 호들갑이 맞습니다. ㅎ
  3. 낭만연구소 · · 공감 2
    @오라질님 AGI가 나왔다는 설레발이 맞습니다. ㅎ
  4. 주나파 · · 공감 7
    근데 나비에-스토크스 방정식은 워낙 오랫동안 난제였고,
    유체역학이 실생활에서 너무 많이 쓰이다보니 중요한 방정식이기도 하잖아요.

    일부 발견한 것이라고 해도 대단한 것이라고 생각합니다.
  5. 어머 ·
    맞습니다. 둠즈데이인줄 알았는대 인류는 아직은 살았어요
  6. eeeeee ·
    아직은 계산기 수준.......이죠
  7. pluto248 ·
    기존 수학자들이 이미 풀어 놓은 방법론을 AI가 검증을 했다고 보는게 더 맞는거군요.
    그것도 한가지 케이스에 한정해서요.
  8. 배꼽잡아 · · 공감 1
    뉴스 한 줄이 중요하지 그런 뒷얘기는 중요하지 않거든요.
  9. 메탈버스 · · 공감 1
    맙소사.대학원생들은 이제 자유야.
  10. 쇼팽좋아 ·
    어차피 저거 몇 년 동안 수학자들이 모여서 검증 해야 한다고 하더라고요
  11. CH · · 공감 7
    애초에 밀레니엄 문제 자체가 일반해를 찾거나 반례가 되는 케이스를 찾는 것입니다. 인간은 여태 그 한 가지 케이스 조차 못찾은 거구요.
  12. 전시품물건 · · 공감 1
    그렇게 축소해 말할 건 아닌 것 같습니다. 수학 학자들은 엄청 열망하고 흥분하는걸로 봐서 계산기 수준을 벗어나 월등한 방향을 제시한건 맞는 것 같습니다.
  13. 임계속도 · · 공감 3
    나비어 스톡스 방정식이 편미방에 비선형 방정식이라 실제 해가 항상 bounded로 존재하는가에 대한 것이 밀레니엄 문제였는데, 여기에 반례를 발견한 것으로 알고 있습니다. 따라서 밀레니엄 문제는 해결된 것으로 판단됩니다. 주요 툴은 말씀하신대로 이전 수학자들이 이미 발견한 도구들을 사용한 건 맞습니다. 2차원 나비어 스톡스 방정식의 경우 구소련의 OLGA LADYZHENSKAYA가 유일해가 존재함을 이미 증명했습니다. 다만 3차원까지는 아직까지 해결되지 않았는데, 이번에 발산하는 해가 존재한다는 반례가 도출된 걸로 생각됩니다.
  14. Karyudrian ·
    어쨌든 AI 의 발전으로 해결했다는 사실에는 변함이 없는거 아닌가요.. 사람이 못한걸 했다는게 중요한거같은데..
  15. 꿈꾸는걸 ·
    사람이 풀지못한 문제의 일부분을 ai가 푼거네요?
    그 일부분의 문제의 답은 있었지만? 사람은 풀지 못한거고요
    ai가 사람보다 내가 더잘났는데....하면...
  16. 플루이드 ·

  17. todoa ·
    OAI 쪽은 이런 수학 난제를 많이 풀더라구요.
    반면 Ant쪽은 그런 소식이 없어요.

    수학자들이 수학을 그만두고 수학 검증영역으로 넘어간다는 소식을 종종 보는데, AI 발전 속도를 보면 그것도 그리 오래 유지되지는 않을 것 같네요
  18. 아름다운음악 ·
    흠.. 중요한하고 대단한건 맞긴 합니다.

모두의공원 최근 글

모두의공원 목록 더 보기