오픈AI, ‘나비에-스토크스’ 이어 377개 수학 난제 새 해법 공개

AI 요약

오픈AI는 6일(현지시간) 대수학과 수론, 이론컴퓨터과학, 수리논리학 등 여러 분야의 연구 결과와 증명 자료 377건을 깃허브에 공개했으며 일부 연구에는 아직 출시하지 않은 내부 AI 모델을 사용했다고 밝혔습니다. 오픈AI는 지난달 8일 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법을 발표해 매끄럽게 움직이던 3차원 유체에서도 유한한 시간 안에 속도가 무한히 커지는 특이점이 발생할 수 있음을 증명했으며 이 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 중 하나로 상금 100만 달러가 걸려 있습니다. 오픈AI는 일부 결과에 대한 검증을 아직 마치지 않았고 일부에는 컴퓨터로 증명의 논리적 오류를 확인하는 린(Lean) 형식 증명을 첨부했으며 검증 자료를 추가하고 발견된 오류를 수정할 계획이라고 밝혔고 학계에서는 해법의 정확성과 기존 연구자들의 공로를 둘러싼 논란과 비판이 이어져 트리스탄 백마스터 뉴욕대 교수가 기존 연구를 가져와 마지막 마무리만 지은 결과물이 포함돼 있을 가능성이 높다고 지적했습니다.