openAI 가 준리만 가설 풀었단다
페이지 정보
본문
수학계 최대 난제라고 알려진 리만가설.
영화 뷰티플 마인드의 주인공 존 내쉬가 리만 가설 풀다 미쳤다는 얘기가 나올 정도로 수학자 여러명 잡아 먹은 악명 높은 가설인데.
난 솔직히 7대 난제 중 하나인 푸앵카레 추측 푼 페렐만이 풀어주지 않을까 기대했거든.
그런데 AI 가 풀어서 지금 인간들이 검증중이란다.
심지어 722개의 수학계 가설들도 풀어서 한 번에 깃허브에 올렸대.
정확히 말하면 리만 가설을 푼 건 아니고 준리만 가설 푼 거.
리만가설은 리만제타함수의 비자명한 영점들의 실수부가 정확히 1/2 선 위에 있다는 가설인데, 준리만 가설은 1/2 선상에 있지는 않더라도 1에 가까운 특정 영역에는
영점이 없다는 식으로 조건을 좀 완화한 이론임. 그러니까 완전히 증명한 게 아니라 최소한 특정 영역에는 해가 없다는 증명.
이거 졸라 상징적인 사건이야. 리만 가설은 우주의 근본 규칙 중 하나일지도 모른다고 일컫는 핵심적인 수이론이거든.
영화 뷰티플 마인드의 주인공 존 내쉬가 리만 가설 풀다 미쳤다는 얘기가 나올 정도로 수학자 여러명 잡아 먹은 악명 높은 가설인데.
난 솔직히 7대 난제 중 하나인 푸앵카레 추측 푼 페렐만이 풀어주지 않을까 기대했거든.
그런데 AI 가 풀어서 지금 인간들이 검증중이란다.
심지어 722개의 수학계 가설들도 풀어서 한 번에 깃허브에 올렸대.
정확히 말하면 리만 가설을 푼 건 아니고 준리만 가설 푼 거.
리만가설은 리만제타함수의 비자명한 영점들의 실수부가 정확히 1/2 선 위에 있다는 가설인데, 준리만 가설은 1/2 선상에 있지는 않더라도 1에 가까운 특정 영역에는
영점이 없다는 식으로 조건을 좀 완화한 이론임. 그러니까 완전히 증명한 게 아니라 최소한 특정 영역에는 해가 없다는 증명.
이거 졸라 상징적인 사건이야. 리만 가설은 우주의 근본 규칙 중 하나일지도 모른다고 일컫는 핵심적인 수이론이거든.
추천0 비추천0
댓글목록







ONEGAME님의 댓글
생각의 확장이 인간 보다 커서 그런가 확실히 AI 강하군요


